Using Event-B for Critical Device Software Systems 2013th Edition

Ebook Details

Authors

Neeraj Kumar Singh

Year 2015
Pages 326
Publisher Springer
Language en
ISBN 9781447157908
File Size 3.13 MB
File Format PDF
Download Counter 448
Amazon Link

Ebook 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).