Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Using Event-B for Critical Device Software Systems | Neeraj Kumar Singh | 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 safe… | OL19909158W |