Runtime VerificationEzio Bartocci
Runtime Verification
Ezio Bartocci, Rupak Majumdar · 2015
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2015
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 2
- Pages
- 432
- ISBN
- 9783319238203
Data source: Wikidata
More by Ezio Bartocci
Model Checking SoftwareEzio Bartocci
Model Checking Software
Ezio Bartocci · 2013
Formal Methods in Outer SpaceEzio Bartocci
Formal Methods in Outer Space
Ezio Bartocci · 2021
From Reactive Systems to Cyber-Physical SystemsEzio Bartocci
From Reactive Systems to Cyber-Physical Systems
Ezio Bartocci · 2019
Lectures on Runtime VerificationEzio Bartocci
Lectures on Runtime Verification
Ezio Bartocci · 2018
Computational Methods in Systems BiologyEzio Bartocci
Computational Methods in Systems Biology
Ezio Bartocci · 2016