Safe Implementability of Regular Message Sequence Chart Specifications.

Nicolas Baudru Rémi Morin

Published in: SNPD (2003)

Keyphrases

email
delay insensitive
data mining
website
high level
evolutionary algorithm
mobile phone
functional requirements
long sequences
written in natural language