From Reactive Systems to Cyber-Physical Systems
Ezio Bartocci
From Reactive Systems to Cyber-Physical Systems - 2019 - springer 2019 - Lecture Notes in Computer Science .
9783030315146
Computer Science
Computer Science Logic and Foundations of Programming
From Reactive Systems to Cyber-Physical Systems - 2019 - springer 2019 - Lecture Notes in Computer Science .
9783030315146
Computer Science
Computer Science Logic and Foundations of Programming