Verification of MARTE/CCSL Time Requirements in Promela/SPIN.

Ling Yin Frédéric Mallet Jing Liu

Published in: ICECCS (2011)

Keyphrases

artificial intelligence
grid workflow
neural network
machine learning
case study
model checking
functional requirements
data mining
metadata
image segmentation
data structure
general purpose
user requirements
formal analysis
requirements engineering
false acceptance