![](/img/cover-not-exists.png)
[IEEE 2006 17th International Symposium on Software Reliability Engineering - Raleigh, NC, USA (2006.11.7-2006.11.7)] 2006 17th International Symposium on Software Reliability Engineering - Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems
Lutz, Robyn, Patterson-Hine, Ann, Bajwa, AnupaYear:
2006
Language:
english
DOI:
10.1109/issre.2006.48
File:
PDF, 267 KB
english, 2006