Ebooks de Naijun Zhan en PDF et EPUB

1 Livre(s)
Télécharger le livre : Formal Verification of Simulink/Stateflow Diagrams
Ajouter à ma liste d'envies
Formal Verification of Simulink/Stateflow Diagrams
Shuling Wang , Naijun Zhan , Hengjun Zhao
This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some...

Editeur : Springer
Parution : 2016-11-07

PDF, ePub

116,04 €