Formal verification of Simulink/Stateflow diagrams a deductive approach
| Κύριοι συγγραφείς: | , , |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Electronic Resource |
| Γλώσσα: | English |
| Έκδοση: |
Cham
Springer
[2017]
|
| Θέματα: | |
| Διαθέσιμο Online: | 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 |