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