A framework to simulate UML models: moving from a semi-formal to a formal environment.

Alessandra Cavarra Elvinia Riccobene Patrizia Scandurra

Published in: SAC (2004)

Keyphrases

formal model
real time
formal specification
uml models
data sets
mobile robot
probabilistic model
image data
mathematical theory