Model-based analysis of embedded java programs
Publikation: Forskning - peer review › Konferenceartikel i tidsskrift
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | RWTH Aachen, Dept. of Computer Science |
| Udgivelsesdato | 2009 |
| Tidsskriftsnummer | 14 |
| Sider | 17-19 |
| ISSN | 0935–3232 |
| Status | Udgivet |
Konference
| Konference | Doctoral Symposium on Systems Software Verification (DS SSV'09)Real Software, Real Problems, Real Solutions |
|---|---|
| Nummer | 4 |
| Land | Tyskland |
| By | Aachen |
| Periode | 22-06-09 → 24-06-09 |
Bibliografisk note
Udgivelsesdato: Juni
Indlæser lokationer...
ID: 19051907