From Reactive Systems to Cyber-Physical Systems
Springer Nature Switzerland AG, 2019
66,50 €On orderDelivery: 2-3 weeks
The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.
- ISBN-13
- 9783030315139
- ISBN-10
- 3030315134
- Publisher
- Springer Nature Switzerland AG
- Year
- 2019
- Publication date
- 2019-09-21
- Pages
- 301
- Dimensions
- 235x155x