Using Event-B for Critical Device Software Systems - Couverture souple

Singh, Neeraj Kumar

 
9781447152613: Using Event-B for Critical Device Software Systems
Couverture souple
ISBN 10 : 1447152611 ISBN 13 : 9781447152613
Editeur : Springer, 2013

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2013
Langue
anglais
ISBN 10 
1447152611
ISBN 13 
9781447152613
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9781447152590: Using Event-B for Critical Device Software Systems

Edition présentée

ISBN 10 :  144715259X ISBN 13 :  9781447152590
Editeur : Springer London Ltd, 2013
Couverture rigide