Formal Techniques for Safety-Critical Systems
Elemento
- Título
- Formal Techniques for Safety-Critical Systems
- Autores
- Artho
- Año Publicación
- 2015
- Editorial
- Springer International Publishing
- ISBN
- 978-3-319-17580-5
- eBook
- 978-3-319-17581-2
- Colecciones
- Springer