1 hits in 0.072 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