Event-Based Runtime Checking of Timed LTL

  • Kåre Jelling Kristoffersen
  • , Christian Pedersen
  • , Henrik Reif Andersen

Publikation: Bog / Antologi / Rapport › Rapport › Forskning

Fingeraftryk

Dyk ned i forskningsemnerne om 'Event-Based Runtime Checking of Timed LTL'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science