Formal Verification of Simulink/Stateflow Diagrams - bib.howest.be

Formal Verification of Simulink/Stateflow Diagrams

Format:: e-book
Title:: Formal Verification of Simulink/Stateflow Diagrams
Author:: Zhan, Naijun; Wang, Shuling; Zhao, Hengjun; Wang, Shuling; Zhao, Hengjun
Language:: English
Publisher:: Springer International Publishing 2017
ISBN:: 3-319-47014-0
3-319-47016-7
Permalink:: http://bibtest.howest.be/catalog/ebk03:3710000000934441?locale=en