Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
Modeling and Verification of Real-time Systems
PreviewsReadr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
Topics covered include mathematical models of real-time systems and associated formal verification techniques like model checking, probabilistic modeling and verification, programming language and descriptions, and validation approach based on the test.
Computer eBook Details
- ISBN-10: 1848210132
- ISBN-13: 9781848210134
- Publisher: Wiley-ISTE
- Pages: 448
- Date: April 2008