Applicable Formal Methods for Safe Industrial Products
de Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach
Ediciones (1)
- Applicable Formal Methods for Safe Industrial Products (2023)
Springer · inglés · ISBN 9783031401312
de Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach
Springer · inglés · ISBN 9783031401312