Assisted coverage closure.
Malfunction of safety-critical systems may cause damage to people and the environment. Software within those systems is rigorously designed and verified according to domain specific guidance, such as ISO26262 for automotive safety. This paper describes academic and industrial co-operation in tool de...
| Principais autores: | , , , , , |
|---|---|
| Outros Autores: | |
| Formato: | Conference item |
| Publicado em: |
Springer
2016
|