Cargando…
Formal verification of industrial control systems
<!--HTML-->Verification of critical software is a high priority but a challenging task for industrial control systems. For many kinds of problems, testing is not an efficient method. Formal methods, such as model checking appears to be an appropriate complementary method. However, it is not co...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2056255 |