An Executable and Extensible Formal Semantics for UML-RT

Sorry, there's nothing here.

Cite this paper

@inproceedings{Leue2009AnEA, title={An Executable and Extensible Formal Semantics for UML-RT}, author={Stefan Leue and Wei Wei}, booktitle={MBEES}, year={2009} }