Login / Signup

Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen.

Jochen Klose
Published in: GI Jahrestagung (1999)
Keyphrases
  • email
  • data sets
  • information systems
  • case study
  • database
  • real time
  • probabilistic model
  • communication channels