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