Some Very Compositional Temporal Properties.

Ben C. Moszkowski

Published in: PROCOMET (1994)

Keyphrases

temporal properties
model checking
possibility theory
formal methods
real time
fuzzy set theory
neural network
database systems
pattern recognition
multi agent systems
life cycle