Login / Signup

Event Algebra for Transition Systems Composition - Application to Timed Automata.

Elie FaresJean-Paul BodeveixMamoun Filali
Published in: TIME (2013)
Keyphrases
  • timed automata
  • transition systems
  • model checking
  • machine learning
  • theorem prover