Formal verification of simulink/stateflow diagrams : a deductive approach
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
Updated: 79 days ago