Cargando…
Conformance checking for programmable logic controller programs and specifications
Verification of industrial control systems' software is an important task, as the cost of failure in these systems is typically high. Formal verification methods can complement the currently used testing techniques, especially if requirements are formally specified. Behavioural specifications c...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2016
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1109/SIES.2016.7509409 http://cds.cern.ch/record/2318769 |