%0 Generic %A Ge, Ning. %C [S.l.] : %D 2014. %I University Toulouse, INPT, %T Outils de vérification dédiés à partir des familles de propriétés une application aux propriétés temps réel pour les modèles UMLMARTE / %U http://SK8ES4MC2L.search.serialssolutions.com/?sid=sersol&SS_jc=TC_019088325&title=Outils%20de%20v%C3%A9rification%20d%C3%A9di%C3%A9s%20%C3%A0%20partir%20des%20familles%20de%20propri%C3%A9t%C3%A9s%20%3A%20une%20application%20aux%20propri%C3%A9t%C3%A9s%20temps%20r%C3%A9el%20pour%20les%20mod%C3%A8les%20UMLMARTE