Cargando…
PLC code generation based on a formal specification language
The complexity and quality needs of PLC-based control system software have largely increased. Formal specification methods can help to cope with these needs. Besides formal verification, another benefit of a formal specification language is the possibility to provide automatic generation of the fina...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2017
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1109/INDIN.2016.7819191 http://cds.cern.ch/record/2318768 |