Sign in

EDT: A specification notation for reactive systems.

R. VenkateshUlka ShrotriG. Murali KrishnaSupriya Agrawal
Published in: DATE (2014)
Keyphrases
  • reactive systems
  • model checking
  • petri net
  • temporal logic
  • information flow
  • formal methods
  • control flow
  • transition systems
  • real time systems
  • modeling language
  • real time
  • information systems
  • data flow