Formal Methods in Outer SpaceEzio Bartocci
Formal Methods in Outer Space
Ezio Bartocci, Yliès Falcone, Martin Leucker · 2021
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
- 2021
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 1
- ISBN
- 9783030873479
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
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