Articoli correlati a Formal Verification of Simulink/Stateflow Diagrams:...

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach - Brossura

Zhan, Naijun; Wang, Shuling; Zhao, Hengjun

 
9783319470153: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Brossura
ISBN 10: 3319470159 ISBN 13: 9783319470153
Casa editrice: Springer, 2016

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

1 Introduction.- 2 Preliminaries.- 3 Unifying Theories of Programming.- 4 Simulink.- 5 Stateflow and Its Combination with Simulink.- 6 Hybrid CSP.- 7 Hybrid Hoare Logic.- 8 The HHL Prover.- 9 Invariant Generation.- 10 Translating Simulink Diagrams into HCSP.- 11 Translating Simulink/Stateflow Diagrams into HCSP.- 12 From HCSP to Simulink.- 13 MARS A Toolkit for Modelling, Analysis and Verification of Hybrid Systems.- 14 Case Studies.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2016
Lingua
Inglese
ISBN 10 
3319470159
ISBN 13 
9783319470153
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783319470146: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Edizione in evidenza

ISBN 10:  3319470140 ISBN 13:  9783319470146
Casa editrice: Springer, 2016
Rilegato