Using Event-B for Critical Device Software Systems - Tapa blanda

Singh, Neeraj Kumar

 
9781447152613: Using Event-B for Critical Device Software Systems
Tapa blanda
ISBN 10: 1447152611 ISBN 13: 9781447152613
Editorial: Springer, 2013

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2013
Idioma
Inglés
ISBN 10 
1447152611
ISBN 13 
9781447152613
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9781447152590: Using Event-B for Critical Device Software Systems

Edición Destacada

ISBN 10:  144715259X ISBN 13:  9781447152590
Editorial: Springer, 2013
Tapa dura