Graphical scenarios for specifying temporal properties: an automated approach.

Marco Autili Paola Inverardi Patrizio Pelliccione

Published in: Autom. Softw. Eng. (2007)

Keyphrases

temporal properties
model checking
possibility theory
formal methods
real world
machine learning
neural network
artificial intelligence
object oriented
random walk
resource allocation