Login / Signup

Vérification par model-checking de systèmes hybrides objets-règles.

Julie VachonHouari A. SahraouiMustapha EssalihHafedh Mili
Published in: Obj. Logiciel Base données Réseaux (2004)
Keyphrases