Modeling and verification of real-time systems: formalisms and software tools
| Contributors: | ; |
|---|---|
| Format: | Print Book |
| Language: | English |
| Subito Delivery Service: | Order now. |
| Check availability: | HBZ Gateway |
| WorldCat: | WorldCat |
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
London
ISTE
2008
Hoboken, NJ Wiley 2008 |
| In: | Year: 2008 |
| Standardized Subjects / Keyword chains: | B
Real-time control
/ Semantische Modellierung
/ Computer programs
|
| Further subjects: | B
Real-time data processing
B Computer software Verification B Formal methods (Computer science) |
| Online Access: |
Autorenbiografie (Verlag) Inhaltsverzeichnis (Verlag) Verlagsangaben (Verlag) |
| ISBN: | 1848210132 |
|---|