Zurück zum Suchergebnis  
Suche in der Publikation  
Pervasive verification of distributed real-time systems
Autor / Herausgeber: Knapp, Steffen ; Paul, Wolfgang J.
Verlagsort: Amsterdam [u.a.] | Erscheinungsjahr: 2007 | Verlag: IOS Press
Signatur: ECO N55 47364#S.239-297

[Suche in der Publikation] [PDF-Download]
50% 100% 150%
  -10 -5 -1
Scan
+1 +5 +10  
50% 100% 150%
  -10 -5 -1
Scan
+1 +5 +10