Verifying real-time systems against scenario-based requirements

Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

5 Citationer (Scopus)
646 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Verifying real-time systems against scenario-based requirements'. Sammen danner de et unikt fingeraftryk.

Computer Science