Implementation of the Conformance Relation for Incremental Development of Behavioural Models.

Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis

Browse the full MODELS paper archive.