Testing Real-Time Systems Using UPPAAL

Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

181 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Testing Real-Time Systems Using UPPAAL'. Sammen danner de et unikt fingeraftryk.

Computer Science