A scenario based notation for specifying temporal properties.

Marco Autili Paola Inverardi Patrizio Pelliccione

Published in: SCESM (2006)

Keyphrases

temporal properties
model checking
possibility theory
formal methods
modeling language
real time
bayesian networks
general purpose
directed graph