Using Event-B for Critical Device Software Systems

Format:: e-book
Title:: Using Event-B for Critical Device Software Systems
Author:: Singh, Neeraj Kumar; Singh
Language:: English
Publisher:: Springer London 2013
ISBN:: 1-4471-5259-X
1-4471-5790-7
1-4471-5260-3
Permalink:: http://bibtest.howest.be/catalog/ebk03:2670000000387786?locale=en