Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

Uli Fahrenberg, Kim Guldstrand Larsen, Claus Rørbæk Thrane

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

Fingeraftryk

Dyk ned i forskningsemnerne om 'Verification, Performance Analysis and Controller Synthesis for Real-Time Systems'. Sammen danner de et unikt fingeraftryk.

Computer Science