%0 Conference Proceedings %T Modélisation de Contextes et Réduction d'Ordres-Partiel pour la Vérification Efficace de Systèmes SDL %+ Développement des Technologies Nouvelles (DTN) %A Dumas, Xavier %A Boniol, Frédéric %A Dhaussy, Philippe %A Bonnafous, Eric %< avec comité de lecture %( Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11 %B Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11 %C Poitiers, France %P Non renseigne %8 2010-06-09 %D 2010 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G French %L hal-00517271 %U https://hal.science/hal-00517271 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN