What do you think?
Rate this book
Using Event-B for Critical Device Software Systems
Preface.- Introduction.- Background.- The Modelling Event-B.- Critical System Development Methodology.- Real-Time Animator and Requirements Traceability.- Refinement Chart.- An Automatic Code Generator Tool.- Formal Logic Based Heart-Model.- The Cardiac Pacemaker.- Electrocardiogram (ECG).- Conclusion.- Appendix Certification Standards.- Index.
346 pages, Paperback
First published January 1, 2013
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.