Model-based analysis of embedded java programs

Thomas Bøgholm, Anders Peter Ravn, Bent Thomsen

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

OriginalsprogEngelsk
TidsskriftRWTH Aachen, Dept. of Computer Science
Udgave nummer14
Sider (fra-til)17-19
ISSN0935-3232
StatusUdgivet - 2009
BegivenhedDoctoral Symposium on Systems Software Verification (DS SSV'09)Real Software, Real Problems, Real Solutions - Aachen, Tyskland
Varighed: 22 jun. 200924 jun. 2009
Konferencens nummer: 4

Konference

KonferenceDoctoral Symposium on Systems Software Verification (DS SSV'09)Real Software, Real Problems, Real Solutions
Nummer4
LandTyskland
ByAachen
Periode22/06/200924/06/2009

Bibliografisk note

Udgivelsesdato: Juni

Citationsformater