From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday - Lecture Notes in Computer Science -  - Books - Springer Nature Switzerland AG - 9783030315139 - September 21, 2019
In case cover and title do not match, the title is correct

From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday - Lecture Notes in Computer Science 2019 edition


Get an email once the item is available
Do you have a profile? Log in
Add to your iMusic wish list

Not rated yet

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.


301 pages, 44 Illustrations, color; 81 Illustrations, black and white; XVI, 301 p. 125 illus., 44 il

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 21, 2019
ISBN13 9783030315139
Publishers Springer Nature Switzerland AG
Pages 301
Dimensions 150 × 220 × 10 mm   ·   492 g
Language German  
Editor Bartocci, Ezio
Editor Cleaveland, Rance
Editor Grosu, Radu
Editor Sokolsky, Oleg

More from the same publisher