Originalsprog | Engelsk |
---|---|
Tidsskrift | Electronic Notes in Theoretical Computer Science |
Vol/bind | 264 |
Udgave nummer | 3 |
Sider (fra-til) | 53-68 |
ISSN | 1571-0661 |
DOI | |
Status | Udgivet - 28 dec. 2010 |
Begivenhed | Doctoral Symposium on Systems Software Verification (DS SSV09) Real Software, Real Problems, Real Solutions (SSV) - Aachem, Tyskland Varighed: 22 jun. 2009 → 24 jun. 2009 Konferencens nummer: 4 |
Konference
Konference | Doctoral Symposium on Systems Software Verification (DS SSV09) Real Software, Real Problems, Real Solutions (SSV) |
---|---|
Nummer | 4 |
Land/Område | Tyskland |
By | Aachem |
Periode | 22/06/2009 → 24/06/2009 |
Emneord
- Testing
- Data Intensive Systems
- Abstract Interpretation
- Model Checking