Invariant Preservation in Interative Modelling (Extended Version)

Expert report (Reports)

Amrani, Moussa; Lúcio, Lévi; Syriani, Eugene et al.

2012

Permalink
https://hdl.handle.net/10993/14730

2011 TR-LASSY-12-13.pdf

Author preprint (502.31 kB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

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

Language :

English

Title :

Invariant Preservation in Interative Modelling (Extended Version)

Publication date :

2012

Publisher :

University of Luxembourg, Luxembourg, Luxembourg

Report number :

TR-LASSY-12-13

Available on ORBilu :

since 10 January 2014

Number of views

72 (3 by Unilu)

Number of downloads

76 (1 by Unilu)