Lectures on Runtime VerificationEzio Bartocci
Lectures on Runtime Verification
Ezio Bartocci, Yliès Falcone · 2018
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
- 2018
- Publisher
- Springer
- Editions
- 3
- Pages
- 244
- ISBN
- 9783319756318
Data source: Wikidata
More by Ezio Bartocci
Model Checking SoftwareEzio Bartocci
Model Checking Software
Ezio Bartocci · 2013
Runtime VerificationEzio Bartocci
Runtime Verification
Ezio Bartocci · 2015
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
Computational Methods in Systems BiologyEzio Bartocci
Computational Methods in Systems Biology
Ezio Bartocci · 2016