Login / Signup

Modeling Reactive Systems and Aspect-Orientation.

Mark Mahoney
Published in: MoDELS (Satellite Events) (2005)
Keyphrases
  • reactive systems
  • model checking
  • neural network
  • temporal logic
  • database
  • petri net
  • case study
  • knowledge based systems