From Reactive Systems to Cyber-Physical Systems
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Häftad, Engelska, 2019
Av Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
729 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2019-09-21
- Mått155 x 235 x 18 mm
- Vikt487 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor301
- FörlagSpringer Nature Switzerland AG
- ISBN9783030315139