Contribution à la spécification et à la vérification des ...
2021-10-1 · Contribution à la spécification et à la vérification des logiciels à base de composants: enrichissement du ... 6.5.2.1 Extraction d''une machine B à partir d''une promo- ... 6.4 Principe d''extraction de spéci cations B à partir d''un assemblage. . .124
Lire la suite