Communication Dans Un Congrès
Année :
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517289
Soumis le : mardi 14 septembre 2010-09:18:16
Dernière modification le : lundi 14 mars 2022-11:08:06
Dates et versions
Identifiants
- HAL Id : hal-00517289 , version 1
Citer
Philippe Dhaussy, Jean-Charles Roger. Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les Modèles. Journée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 2005, Paris, France. ⟨hal-00517289⟩
Collections
57
Consultations
0
Téléchargements