UML2ALLOY: A tool for light-weight modelling of discrete event systems

Authors:

Behzad Bordbar and Kyriakos Anastasakis

Publication Venue:

Proceedings of IADIS Applied Computing 2005, Algarve, Portugal, 2005

When Published:

Feb 22 2005

Attachment	Size
iadis05.pdf	303.88 KB

by anonymous

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte

Search