Formal Methods for Industrial Critical Systems: A Survey of Applications
- Título:
- Formal Methods for Industrial Critical Systems: A Survey of Applications
- Materia:
- Electrical & Electronics Engineering
- Editor:
- Wiley-IEEE Computer Society Pr
- Descripción:
- 293 p.
- Identificadores:
- E-ISBN: 9780470876183 ISBN: 9781118459898
- Colección:
- Wiley