Login / Signup

Trace Analysis Using an Event-Driven Interval Temporal Logic.

María-del-Mar GallardoLaura Panizo
Published in: LOPSTR (2019)
Keyphrases
  • temporal logic
  • event driven
  • model checking
  • real time
  • modal logic
  • satisfiability problem