Validating Timed Component Contracts

Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders Peter Ravn, Arne Joachim Skou

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Validating Timed Component Contracts'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science

Engineering