Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Format:: e-book
Title:: Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Author:: Haxthausen, Anne E.; Huang, Wen-ling; Roggenbach, Markus
Language:: English
Publisher:: Cham Springer International Publishing AG 2023
ISBN:: 3-031-40131-X
3-031-40132-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:27991709200041?locale=en