3 hits in 0.005 sec.
Pervasive verification of distributed real-time systems
[Score: 100%]
Author / Editor: Knapp, Steffen; Paul, Wolfgang J. | Place of publication: Amsterdam [u.a.] | Publisher: IOS Press | Year of Publication: 2007 | 59 s.
Journal / Series / Collection: Software system reliability and security
Subject Area: Informatik
Author / Editor: Knapp, Steffen; Paul, Wolfgang J. | Place of publication: Amsterdam [u.a.] | Publisher: IOS Press | Year of Publication: 2007 | 59 s.
Journal / Series / Collection: Software system reliability and security
Subject Area: Informatik
A formal model of services; 1
[Score: 100%]
Author / Editor: Broy, Manfred; Krüger, Ingolf; Meisinger, Michael | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 2007 | 40 s.
Journal / Series / Collection: ACM transactions on software engineering and methodology; 16
Subject Area: Informatik
Author / Editor: Broy, Manfred; Krüger, Ingolf; Meisinger, Michael | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 2007 | 40 s.
Journal / Series / Collection: ACM transactions on software engineering and methodology; 16
Subject Area: Informatik
MCSTL : the multi-core standard template library
[Score: 100%]
Author / Editor: Putze, Felix; Sanders, Peter; Singler, Johannes | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 2007 | 2 s.
Journal / Series / Collection: Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Subject Area: Informatik
Author / Editor: Putze, Felix; Sanders, Peter; Singler, Johannes | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 2007 | 2 s.
Journal / Series / Collection: Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Subject Area: Informatik