Invariant Preservation in Interative Modelling (Extended Version)

Rapport d’expertise (Rapports)

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

2012

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

2011 TR-LASSY-12-13.pdf

Preprint Auteur (502.31 kB)

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Disciplines :

Sciences informatiques

Auteur, co-auteur :

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

Langue du document :

Anglais

Titre :

Invariant Preservation in Interative Modelling (Extended Version)

Date de publication/diffusion :

2012

Maison d'édition :

University of Luxembourg, Luxembourg, Luxembourg

N° de rapport :

TR-LASSY-12-13

Disponible sur ORBilu :

depuis le 10 janvier 2014

Nombre de vues

151 (dont 3 Unilu)

Nombre de téléchargements

106 (dont 1 Unilu)