Using Event-B for Critical Device Software Systems

Produktbeschreibung

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.

Folgende Produkte könnten dir ebenso gefallen

Human Voice Identification using Artificial Intelligence (Sahu, Navneet Kumar; Singh, Pushpendra , Lap Lambert Academic Publishing)

35.90 EUR bei buecher.de

Details - Auf den Wunschzettel - Produkt im Shop von buecher.de

Rumen Microbiology: From Evolution to Revolution (Herausgegeben von Puniya, Anil Kumar; Singh, Rameshwar; Kamra, Devki Nandan , Springer, Berlin; Springer India; Springer)

149.79 EUR bei buecher.de

Details - Auf den Wunschzettel - Produkt im Shop von buecher.de

Reliability Properties and Intuitionistic Fuzzy Decision Making (Gandotra, Neeraj; Bajaj, Rakesh Kumar; Gupta, Nitin , Lap Lambert Academic Publishing)

55.90 EUR bei buecher.de

Details - Auf den Wunschzettel - Produkt im Shop von buecher.de

Administering Team Foundation Server 2013: Using Tfs 2013 to Accelerate Your Software Development (Gauvin, Gary , SPRINGER VERLAG GMBH)

21.95 EUR bei buecher.de

Details - Auf den Wunschzettel - Produkt im Shop von buecher.de

Systems and Software Variability Management (Herausgegeben von Capilla, Rafael; Bosch, Jan; Kang, Kyo-Chul , Springer, Berlin; Springer Berlin Heidelberg)

90.94 EUR bei buecher.de

Details - Auf den Wunschzettel - Produkt im Shop von buecher.de