A Test Suite for Safety-Critical Java using JML

Anders Peter Ravn, Hans Søndergaard

Institut for Datalogi

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

5 Citationer (Scopus)

1 resultater

Afsluttet
CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R., Ravn, A. P. & Larsen, K. G.
Forskningsrådet for Teknologi og Produktion
01/03/2011 → 28/02/2014
Projekter: Projekt › Forskning