Strong Safe Realizability of Message Sequence Chart Specifications.

Abdolmajid Mousavi Behrouz Homayoun Far Armin Eberlein Behrouz Heidari

Published in: FSEN (2007)

Keyphrases

email
high level
information retrieval
formal specification
data sets
genetic algorithm
data structure
digital images
functional requirements
event sequences