Critical Systems : Formal Methods and Automated Verification
de Maurice H. Ter Beek, Stefania Gnesi, Alexander Knapp
Materias
Ediciones (1)
- Critical Systems : Formal Methods and Automated Verification (2016)
Springer International Publishing AG · inglés · ISBN 9783319459424