Publications de
Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Christian Percebois
IDF: A framework for the incremental development and conformance verification of UML active primitive components
Dans : Journal of Systems and Software (JSS), Elsevier, Vol. 113, p. 275-295, mars 2016.