1 Treffer in 0.041 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