%0 Conference Proceedings %T Automatic Formal Model Derivation from Use Cases %+ Développement des Technologies Nouvelles (DTN) %A Raji, Amine %A Dhaussy, Philippe %< avec comité de lecture %( 6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau %B 6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau %C France %P Non renseigne %8 2010 %D 2010 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-00517270 %U https://hal.science/hal-00517270 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN