Sign in

Strong Safe Realizability of Message Sequence Chart Specifications.

Abdolmajid MousaviBehrouz Homayoun FarArmin EberleinBehrouz 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