Using Event-B for Critical Device Software Systems - Softcover

Singh, Neeraj Kumar

 
9781447152613: Using Event-B for Critical Device Software Systems
Softcover
ISBN 10: 1447152611 ISBN 13: 9781447152613
Verlag: Springer, 2013

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
1447152611
ISBN 13 
9781447152613
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781447152590: Using Event-B for Critical Device Software Systems

Vorgestellte Ausgabe

ISBN 10:  144715259X ISBN 13:  9781447152590
Verlag: Springer, 2013
Hardcover