From Safety Critical Java Programs to Timed Process Models

Bent Thomsen, Kasper Søe Luckow, Lone Leth Thomsen, Thomas Bøgholm

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

5 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'From Safety Critical Java Programs to Timed Process Models'. Sammen danner de et unikt fingeraftryk.

Computer Science