Results (6)

  • Compositional specifications for ioco testing
    Conference paper
  • Synchronous interface theories and time triggered scheduling
    Conference paper
  • From MTL to deterministic timed automata
    Conference paper