Pervasive verification of distributed real-time systems
Autor / Herausgeber: Knapp, Steffen ; Paul, Wolfgang J.
Autor / Herausgeber: Knapp, Steffen ; Paul, Wolfgang J.
Verlagsort:
Amsterdam [u.a.] |
Erscheinungsjahr:
2007 |
Verlag:
IOS Press
Signatur: ECO N55 47364#S.239-297
Signatur: ECO N55 47364#S.239-297
[Suche in der Publikation] [PDF-Download]
Keine Treffer
- Überprüfen Sie ob die Suchbegriffe richtig geschrieben sind.
- Probieren Sie allgemeinere Suchwörter aus.
- Verwenden Sie andere Suchbegriffe.
- Probieren Sie eine Schreibweise mit Bindestrichen aus.