Cargando…
Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems
Formal specification and verification methods provide ways to describe requirements precisely and to check whether the requirements are satisfied by the design or the implementation. In other words, they can prevent development faults and therefore improve the quality of the developed systems. These...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2017
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2267174 |