Formal verification of Simulink/Stateflow diagrams a deductive approach
| Những tác giả chính: | , , |
|---|---|
| Tác giả của công ty: | |
| Định dạng: | Electronic Resource |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Cham
Springer
[2017]
|
| Những chủ đề: | |
| Truy cập trực tuyến: | Available for University of the Philippines System via SpringerLink. Click here to access Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy |