WUppaal: A web-service for the Uppaal model-checker

Peter Fogh, Thomas Cano Hald, Brian Nielsen

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

1 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'WUppaal: A web-service for the Uppaal model-checker'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab