Formal Methods for Industrial Critical Systems
de Anne E. Haxthausen, Wendelin Serwe
Ediciones (1)
- Formal Methods for Industrial Critical Systems (2024)
Springer · inglés · ISBN 9783031681493
de Anne E. Haxthausen, Wendelin Serwe
Springer · inglés · ISBN 9783031681493
