Telecharger Cours

Langages modernes pour la modélisation et la vérification des ...

Résumé : Cette th`ese se situe `a l'intersection de deux domaines-clés : l'ingénierie dirigée par les mod`eles.



Download