Cargando…
Formal methods for industrial critical systems: a survey of applications
"Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis metho...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Wiley-IEEE Press
2012
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1540719 |