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.
Read More
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.
Read Less
Add this copy of Using Event-B for Critical Device Software Systems to cart. $83.67, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2015 by Springer.
Add this copy of Using Event-B for Critical Device Software Systems to cart. $99.88, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2015 by Springer.
Add this copy of Using Event-B for Critical Device Software Systems to cart. $83.67, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2013 by Springer London Ltd.
