UML2Alloy: A Tool for Lightweight Modelling of Discrete Event Systems

Behzad Bordbar, Kyriakos Anastasakis

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	209-216
Number of pages	8
Publication status	Published - 1 Jan 2005
Event	IADIS International Conference in Applied Computing 2005 - Duration: 1 Jan 2005 → …

Conference	IADIS International Conference in Applied Computing 2005
Period	1/01/05 → …

Cite this

@conference{b9a1b3f988384fce95379705c8526794,

title = "UML2Alloy: A Tool for Lightweight Modelling of Discrete Event Systems",

author = "Behzad Bordbar and Kyriakos Anastasakis",

year = "2005",

month = jan,

day = "1",

language = "English",

pages = "209--216",

note = "IADIS International Conference in Applied Computing 2005 ; Conference date: 01-01-2005",

}