Model-based analysis of embedded java programs

Thomas Bøgholm, Anders Peter Ravn, Bent Thomsen

Research output: Contribution to journalConference article in JournalResearchpeer-review

Original languageEnglish
JournalRWTH Aachen, Dept. of Computer Science
Issue number14
Pages (from-to)17-19
ISSN0935-3232
Publication statusPublished - 2009
EventDoctoral Symposium on Systems Software Verification (DS SSV'09)Real Software, Real Problems, Real Solutions - Aachen, Germany
Duration: 22 Jun 200924 Jun 2009
Conference number: 4

Conference

ConferenceDoctoral Symposium on Systems Software Verification (DS SSV'09)Real Software, Real Problems, Real Solutions
Number4
CountryGermany
CityAachen
Period22/06/200924/06/2009

Cite this