Formal Methods for Industrial Critical Systems
de Stefan Kowalewski, Marco Roveri
Ediciones (1)
- Formal Methods for Industrial Critical Systems (2010)
Springer London, Limited · inglés · ISBN 9783642158988
de Stefan Kowalewski, Marco Roveri
Springer London, Limited · inglés · ISBN 9783642158988