E-Book, Englisch, Band 11500, 301 Seiten, eBook
Bartocci / Cleaveland / Grosu From Reactive Systems to Cyber-Physical Systems
Erscheinungsjahr 2019
ISBN: 978-3-030-31514-6
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
E-Book, Englisch, Band 11500, 301 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-31514-6
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Analysis of Complex Biological Systems.- Program Analysis.- Synthesis of Models, Parameters and Benchmarks.- Model-based Design.- Data-driven Design.- Runtime Verification.- Short Abstracts.