Reference : Invariant Preservation in Interative Modelling (Extended Version)
Reports : Expert report
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/14730
Invariant Preservation in Interative Modelling (Extended Version)
English
Amrani, Moussa mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Lúcio, Lévi []
Syriani, Eugene []
Zhang, Qin mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Vangheluwe, Hans []
2012
University of Luxembourg
TR-LASSY-12-13
Luxembourg
Luxembourg
http://hdl.handle.net/10993/14730

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
2011 TR-LASSY-12-13.pdfAuthor preprint490.54 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.