Using Event-B for Critical Device Software Systems
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 326
ISBN-13: 9781447157908
Subjects: System design; Computer software, development; Computer simulation; Logic, symbolic and mathematical; Bioinformatics