Using Event-B for Critical Device Software Systems
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal� techniques, this book adopts a rigorous safety assessment approach explored via several layers (from �requirements analysis to automatic source c...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic |
| Language: | English |
| Published: |
London :
Springer London : Imprint: Springer,
2013.
|
| Subjects: | |
| Online Access: | https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4471-5260-6 |