Singh, Neeraj Kumar
Using Event-B for Critical Device Software Systems
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
Avainsanat: Computer Science, Mathematical Logic and Formal Languages, Software Engineering, Health Informatics, Simulation and Modeling, Programming Techniques
- Tekijä(t)
- Singh, Neeraj Kumar
- Julkaisija
- Springer
- Julkaisuvuosi
- 2013
- Kieli
- en
- Painos
- 2013
- Sivumäärä
- 18 sivua
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9781447152606
