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