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...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
Elsevier,
1994.
|
| Colección: | Real-time safety critical systems ;
2. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
Internet
Texto completoTexto completo