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 |
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| 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 (Publisher) Table of Contents (Publisher) Verlagsangaben (Publisher) |
| Physical Description: | 393 S., graph. Darst. |
|---|---|
| ISBN: | 978-1-84821-013-4 |
