[PDF] hal.science

[PDF][PDF] Preuves par récurrence avec ensembles couvrants contextuels. Application à la vérification de logiciels de télécommunications

S Stratulat - 2000 - theses.hal.science
Le processus de certification de logiciels est dans la plupart des cas une tâche laborieuse et
coûteuse qui nécessite aussi bien des méthodes mathématiques, pour exprimer sans …
被引用次数：13 相关文章

[引用][C] Preuves par récurrence avec ensembles couvrants contextuels. Application à la vérification de logiciels de télécommunications

S Stratulat - 2000 - inria.hal.science
Le processus de certification de logiciels est dans la plupart des cas une tâche laborieuse et
coûteuse qui nécessite aussi bien des méthodes mathématiques, pour exprimer sans …
[PDF] hal.science

[PDF][PDF] Preuves par récurrence avec ensembles couvrants contextuels. Application à la vérification de logiciels de télécommunications

S Stratulat - theses.hal.science
Depuis plus de trente ans, l'informatique a un impact socio-économique de plus en plus
important sur notre société. Le développement récent et sans précédent de nouvelles …

Preuves par récurrence avec ensembles couvrants contextuels. Applications à la vérification de logiciels de télécommunications

S Stratulat - 2000 - hal.univ-lorraine.fr
Le processus de certification de logiciels est dans la plupart des cas une tâche laborieuse et
coûteuse qui nécessite aussi bien des méthodes mathématiques, pour exprimer sans …

[引用][C] Preuves par récurrence avec ensembles couvrants contextuels. Applications à la vérification de logiciels de télécommunications

S Stratulat, M Rusinowitch - pascal-francis.inist.fr
Preuves par récurrence avec ensembles couvrants contextuels. Applications à la
vérification de logiciels de télécommunications CNRS Inist Pascal-Francis CNRS Pascal …

Preuves par récurrence avec ensembles couvrants contextuels. Applications à la vérification de logiciels de télécommunications

S Stratulat - 2000 - hal.science
Le processus de certification de logiciels est dans la plupart des cas une tâche laborieuse et
coûteuse qui nécessite aussi bien des méthodes mathématiques, pour exprimer sans …
[PDF] inria.fr

[PDF][PDF] Preuves par récurrence avec ensembles couvrants contextuels. Applicationsa la vérification de logiciels de télécommunications

S Stratulat - www-sop.inria.fr
Depuis plus de trente ans, l'informatique a un impact socio-économique de plus en plus
important sur notre société. Le développement récent et sans précédent de nouvelles …

Preuves par récurrence avec ensembles couvrants contextuels: applications à la vérification de logiciels de télécommunications

S Stratulat - 2000 - theses.fr
Le processus de certification de logiciels est dans la plupart des cas une tâche laborieuse et
coûteuse qui nécessite aussi bien des méthodes mathématiques, pour exprimer sans …
[PDF] inria.fr

[PDF][PDF] Preuves par récurrence avec ensembles couvrants contextuels. Applicationsa la vérification de logiciels de télécommunications

S Stratulat - www-sop.inria.fr
Depuis plus de trente ans, l'informatique a un impact socio-économique de plus en plus
important sur notre société. Le développement récent et sans précédent de nouvelles …

[引用][C] Preuves par récurrence avec ensembles couvrants contextuels. Applications à la vérification de logiciels de télécommunications

S Stratulat