Formal verification of simulink/stateflow diagrams : a deductive approach
Formal verification of simulink/stateflow diagrams : a deductive approach is a book.
All
Business
Culture
Environment
Health
Politics
Research
Key facts
- Author: Naijun Zhan
- Isbn: 3319470146
- Bnb id: GBB6K0274
- Language: eng
- Publication date: 2016
- book publisher: : Springer
Latest news
Sorry there is no related news yet.
Visualizations
Datasets
rows
Book series where Book equals Formal verification of simulink/stateflow diagrams : a deductive approach
rows
Book subjects where Book equals Formal verification of simulink/stateflow diagrams : a deductive approach
rows
Books by Naijun Zhan
rows
Books where book publisher is : Springer
rows
Books called Formal verification of simulink/stateflow diagrams : a deductive approach
Source
This dashboard is based on data from: The British Library
Updated: 92 days ago
License
This content can be used under the CC BY 4.0 license