Formal Modeling and Verification of Cyber-Physical Systems

Format:: e-book
Title:: Formal Modeling and Verification of Cyber-Physical Systems
Author:: Drechsler, Rolf; Kühne, Ulrich
Language:: English
Publisher:: Springer Fachmedien Wiesbaden 2015
ISBN:: 3-658-09993-3
3-658-09994-1
Permalink:: http://bibtest.howest.be/catalog/ebk03:3710000000422113?locale=en