|
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 [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 [] |
| 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):
| |
| | |
All documents in ORBilu are protected by a user license.