
Tell your friends about this item:
Using Event-B for Critical Device Software Systems 2013 edition
Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems 2013 edition
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 safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).
326 pages, 20 black & white tables, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | July 7, 2015 |
Original release date | 2013 |
ISBN13 | 9781447157908 |
Publishers | Springer London Ltd |
Pages | 326 |
Dimensions | 155 × 235 × 18 mm · 485 g |
Language | English |
Show all
More by Neeraj Kumar Singh
See all of Neeraj Kumar Singh ( e.g. Paperback Book and Hardcover Book )