Cargando…
Bringing Automated Formal Verification to PLC Program Development
Automation is the field of engineering that deals with the development of control systems for operating systems such as industrial processes, railways, machinery or aircraft without human intervention. In most of the cases, a failure in these control systems can cause a disaster in terms of economi...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1983193 |