Modeling and Verification of Real-time Systems
Stabilní cena
Aktuální cena je nejnižší za posledních 30 dní.
O produktu
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.
Tip: Podívejte se také na další produkty z kategorie Analýza systémů a design.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9781848210134
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
