Allowing State Changes in Specifications.

Michael Barnett David A. Naumann Wolfram Schulte Qi Sun

Published in: ETRICS (2006)

Keyphrases

state space
data sets
object oriented
real world
data mining
multimedia
case study
cooperative
search space
temporal logic
finite state machines