Real-time systems : formal specification and automatic verification /
Includes bibliographical references (p. 304-311) and index
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
New York, NY : Cambridge University Press,
2008
|
| Subjects: |