Back to result list  
Search within document  
Pervasive verification of distributed real-time systems
Author / Editor: Knapp, Steffen ; Paul, Wolfgang J.
Place of publication: Amsterdam [u.a.] | Year of Publication: 2007 | Publisher: IOS Press
Call number: ECO N55 47364#S.239-297

[Search within document] [PDF-Download]
50% 100% 150%
  -10 -5 -1
Scan
+1 +5 +10  
50% 100% 150%
  -10 -5 -1
Scan
+1 +5 +10