Modeling and verification of real-time systems [electronic resource] : formalisms and software tools / edited by Stephan Merz, Nicolas Navet.
"This title presents some concepts and techniques for describing and modeling real-time systems and analyzing their behavior in order to enable hardware and embedded software designers to create systems that will operate as intended in a real-world environment."--Jacket.
Saved in:
| Online Access: |
Full Text (via Wiley) |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London, UK : Hoboken, NJ :
ISTE ; John Wiley,
2008.
|
| Subjects: |
Internet
Full Text (via Wiley)Online
| Call Number: |
QA76.54 .M635 2008
|
|---|---|
| QA76.54 .M635 2008 | Available |