LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.

Sebastián Uchitel Robert Chatley Jeff Kramer Jeff Magee

Published in: TACAS (2003)

Keyphrases

computational model
probabilistic model
experimental data
high level
probability distribution
artificial intelligence
information technology
management system
open source
statistical model