Cargando…
Towards verified systems
As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last dec...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Elsevier Science
2013
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2050281 |