Del 9333
From Reactive Systems to Cyber-Physical Systems
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
AvEzio Bartocci,Rance Cleaveland
Häftad, Engelska, 2019
Del 11500 i serien Lecture Notes in Computer Science
550 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 10457
Del 9859
Del 13065
Composition of Embedded Systems. Scientific and Industrial Issues
Fabrice Kordon, Oleg Sokolsky
Häftad
550 kr
Del 12302
Emerging Directions in Embedded and Ubiquitous Computing
Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong-Chun Lee, Daeyoung Kim, Young-Sik Jeong, Cheng-Zhong Xu
Häftad
1 637 kr
Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
Häftad
550 kr