Sign in

Event-Based Modularization of Reactive Systems.

Somayeh MalakutiMehmet Aksit
Published in: Concurrent Objects and Beyond (2014)
Keyphrases
  • reactive systems
  • temporal logic
  • model checking
  • event driven
  • information flow
  • event detection
  • formal methods
  • petri net
  • software design
  • real time systems
  • control flow
  • publish subscribe
  • state machines