LTSA-MSC

LTSA-MSC: Tool support for behaviour model elaboration using implied scenarios. We present a tool that supports the elaboration of behaviour models and scenario-based specification by providing scenario editing, behaviour model synthesis, and model checking for implied scenarios.

References in zbMATH (referenced in 2 articles , 1 standard article )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Sengupta, Bikram; Cleaveland, Rance: TRIM: A tool for triggered message sequence charts. (2003) ioport
  2. Uchitel, Sebastian; Chatley, Robert; Kramer, Jeff; Magee, Jeff: LTSA-MSC: Tool support for behaviour model elaboration using implied scenarios (2003)