Programmes par mcmas-sc.sf.net

Un nouveau modèle de contrôle, appelé MCMAS-SC, pour vérifier les engagements sociaux et leur réalisation. Il s’agit d’une extenstion du contrôle du modèle MCMAS pour appuyer la vérification de la logique du CTLC.