Login / Signup
Aspect Categories and Classes of Temporal Properties.
Shmuel Katz
Published in:
LNCS Trans. Aspect Oriented Softw. Dev. (2006)
Keyphrases
</>
temporal properties
model checking
possibility theory
formal methods
neural network
sufficient conditions
high level
bayesian networks
multi agent systems
software engineering