Formal Verification of Simulink/Stateflow Diagrams

Type:

e-book

Titel:

Formal Verification of Simulink/Stateflow Diagrams

Auteur:

Zhan, Naijun; Wang, Shuling; Zhao, Hengjun; Wang, Shuling; Zhao, Hengjun

Taal:

Engels

Uitgever:

Springer International Publishing 2017

ISBN:

3-319-47014-0
3-319-47016-7

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000000934441