Akram Idani, Yves Ledru, Pierre-Yves Schobbens. Approche formelle pour une Ingénierie des Modèles sûre. Atelier LMO/SafeModel, Nancy, 2009.
Download paper: (link)
Copyright notice:
@Misc{SafeModelIdani09,
Author = {Idani, Akram and Ledru, Yves and Schobbens, Pierre-Yves},
Title = {{Approche formelle pour une Ingénierie des Modèles sûre}},
BookTitle = {{Atelier LMO/SafeModel}},
Address = {Nancy},
Year = {2009}
}
Get EndNote Reference (.ref)