3 Treffer in 0.005 Sek.
Pervasive verification of distributed real-time systems
[Relevanz: 100%]
Autor / Herausgeber: Knapp, Steffen; Paul, Wolfgang J. | Verlagsort: Amsterdam [u.a.] | Verlag: IOS Press | Erscheinungsjahr: 2007 | 59 S.
Zeitschrift / Sammelband: Software system reliability and security
Fachgebiet: Informatik
Autor / Herausgeber: Knapp, Steffen; Paul, Wolfgang J. | Verlagsort: Amsterdam [u.a.] | Verlag: IOS Press | Erscheinungsjahr: 2007 | 59 S.
Zeitschrift / Sammelband: Software system reliability and security
Fachgebiet: Informatik
A formal model of services; 1
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Krüger, Ingolf; Meisinger, Michael | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 2007 | 40 S.
Zeitschrift / Sammelband: ACM transactions on software engineering and methodology; 16
Fachgebiet: Informatik
Autor / Herausgeber: Broy, Manfred; Krüger, Ingolf; Meisinger, Michael | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 2007 | 40 S.
Zeitschrift / Sammelband: ACM transactions on software engineering and methodology; 16
Fachgebiet: Informatik
MCSTL : the multi-core standard template library
[Relevanz: 100%]
Autor / Herausgeber: Putze, Felix; Sanders, Peter; Singler, Johannes | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 2007 | 2 S.
Zeitschrift / Sammelband: Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Fachgebiet: Informatik
Autor / Herausgeber: Putze, Felix; Sanders, Peter; Singler, Johannes | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 2007 | 2 S.
Zeitschrift / Sammelband: Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Fachgebiet: Informatik