Formal Methods for Industrial Critical Systems
de Maurice H. ter Beek, Dejan Ničković
Ediciones (1)
- Formal Methods for Industrial Critical Systems (2020)
Springer International Publishing AG · inglés · ISBN 9783030582975
de Maurice H. ter Beek, Dejan Ničković
Springer International Publishing AG · inglés · ISBN 9783030582975