Communication Dans Un Congrès
Année : 2010
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517271
Soumis le : mardi 14 septembre 2010-09:16:41
Dernière modification le : lundi 14 mars 2022-11:08:06
Dates et versions
Identifiants
- HAL Id : hal-00517271 , version 1
Citer
Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. Modélisation de Contextes et Réduction d'Ordres-Partiel pour la Vérification Efficace de Systèmes SDL. Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11, Jun 2010, Poitiers, France. pp.Non renseigne. ⟨hal-00517271⟩
Collections
46
Consultations
0
Téléchargements