From Reactive Systems to Cyber-Physical SystemsEzio Bartocci

From Reactive Systems to Cyber-Physical Systems

Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky · 2019

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2019
Publisher: Springer
Editions: 1
Pages: 317
ISBN: 9783030315139

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

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