All Formats & Editions
1 - 2 of 2 results found
Using Event-B for Critical Device Software Systems
Edition Description
Preface.- Introduction.- Background.- The Modelling Framework: Event-B.- Critical System Development Methodology.- Real-Time Animator and Requirements Traceability.- Refinement Chart.- EB2ALL: An Automatic Code Generator Tool.- Formal Logic Based Heart-Model.- The Cardiac...
Edition Details
Format:Hardcover
Language:English
ISBN:144715259X
Format: Hardcover
Condition:
$
109.99
Using Event-B for Critical Device Software Systems
Edition 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...
Edition Details
Format:Paperback
Language:English
ISBN:1447157907
Format: Paperback
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Copyright © 2026 Thriftbooks.com Terms of Use
| Privacy Policy | Do Not
Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
