Invariant Preservation in Interative Modelling (Extended Version)

Reference : Invariant Preservation in Interative Modelling (Extended Version)


	Document type :	Reports : Expert report
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/14730

Title :	Invariant Preservation in Interative Modelling (Extended Version)
Language :	English
Author, co-author :	Amrani, Moussa [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Lúcio, Lévi []
	Syriani, Eugene []
	Zhang, Qin [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Vangheluwe, Hans []
Publication date :	2012
Publisher :	University of Luxembourg
Report number :	TR-LASSY-12-13
City :	Luxembourg
Country :	Luxembourg
Permalink :	http://hdl.handle.net/10993/14730

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	2011 TR-LASSY-12-13.pdf		Author preprint	490.54 kB	View/Open

All documents in ORBi^lu are protected by a user license.