Using Event-B for Critical Device Software Systems |
|
Author:
| Singh, Neeraj Kumar |
ISBN: | 978-1-4471-5259-0 |
Publication Date: | Jul 2013 |
Publisher: | Springer London, Limited
|
Imprint: | Springer |
Book Format: | Hardback |
List Price: | USD $109.99 |
Book Description:
|
This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.
This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.