Using Event-B for Critical Device Software Systems
Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems
Neeraj Kumar Singh
Paperback
|
English
€118.95
- From €15,- no shipping costs.
- 30 days to change your mind and return physical products
Description
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 code generation).