Cargando…
A Formal Specification Method for PLC-based Applications
The correctness of the software used in control systems has been always a high priority, as a failure can cause serious expenses, injuries or loss of reputation. To improve the quality of these applications, various development and verification methods exist. All of them necessitate a deep understan...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.18429/JACoW-ICALEPCS2015-WEPGF091 http://cds.cern.ch/record/2213506 |