Formal Methods for Industrial Critical Systems
Elemento
- Título
- Formal Methods for Industrial Critical Systems
- Autores
- Pecheur
- Año Publicación
- 2013
- Editorial
- Springer Berlin Heidelberg
- ISBN
- 978-3-642-41009-3
- eBook
- 978-3-642-41010-9
- Colecciones
- Springer