Login

Singh, Neeraj Kumar

Using Event-B for Critical Device Software Systems

Singh, Neeraj Kumar - Using Event-B for Critical Device Software Systems, ebook

129,65€

Ebook, PDF with Adobe DRM
ISBN: 9781447152606
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
Neeraj Kumar Singh

2. Background
Neeraj Kumar Singh

3. The Modelling Framework: Event-B
Neeraj Kumar Singh

4. Critical System Development Methodology
Neeraj Kumar Singh

5. Real-Time Animator and Requirements Traceability
Neeraj Kumar Singh

6. Refinement Chart
Neeraj Kumar Singh

7. EB2ALL: An Automatic Code Generation Tool
Neeraj Kumar Singh

8. Formal Logic Based Heart-Model
Neeraj Kumar Singh

9. The Cardiac Pacemaker
Neeraj Kumar Singh

10. Formalisation of Electrocardiogram (ECG)
Neeraj Kumar Singh

11. Conclusion
Neeraj Kumar Singh

Keywords: Computer Science, Mathematical Logic and Formal Languages, Software Engineering, Health Informatics, Simulation and Modeling, Programming Techniques

Author(s)
Publisher
Springer
Publication year
2013
Language
en
Edition
2013
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9781447152606

Similar titles