Using Event-B for Critical Device Software Systems - Brossura

Singh, Neeraj Kumar

 
9781447152613: Using Event-B for Critical Device Software Systems
Brossura
ISBN 10: 1447152611 ISBN 13: 9781447152613
Casa editrice: Springer, 2013

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Preface.- Introduction.- Background.- The Modelling Framework: Event-B.- Critical System Development Methodology.- Real-Time Animator and Requirements Traceability.- Refinement Chart.- EB2ALL: An Automatic Code Generator Tool.- Formal Logic Based Heart-Model.- The Cardiac Pacemaker.- Electrocardiogram (ECG).- Conclusion.- Appendix A: Certification Standards.- Index.

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

Editore
Springer
Data di pubblicazione
2013
Lingua
Inglese
ISBN 10 
1447152611
ISBN 13 
9781447152613
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9781447152590: Using Event-B for Critical Device Software Systems

Edizione in evidenza

ISBN 10:  144715259X ISBN 13:  9781447152590
Casa editrice: Springer Nature, 2013
Rilegato