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
Publisher: Springer, 2013

This specific ISBN edition is currently not available.

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
1447152611
ISBN 13 
9781447152613
Binding
Paperback
Number of pages
346

Other Popular Editions of the Same Title

9781447152590: Using Event-B for Critical Device Software Systems

Featured Edition

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