Modeling and Verification of Real-time Systems
ISTE Ltd and John Wiley & Sons Inc, 2008
300,25 €On orderDelivery: 2-3 weeks
Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.
- ISBN-13
- 9781848210134
- ISBN-10
- 1848210132
- Publisher
- ISTE Ltd and John Wiley & Sons Inc
- Year
- 2008
- Publication date
- 2008-03-10
- Pages
- 448
- Dimensions
- 241x160x28
- Weight
- 721