Login / Signup

Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool.

Pierre CombesDavid HarelHillel Kugler
Published in: ATVA (2005)
Keyphrases
  • database
  • real time
  • data sets
  • databases
  • information retrieval
  • social networks
  • decision support
  • anomaly detection
  • modeling method
  • sequence alignment
  • programming tool
  • graphical display