Prototyping and verfication with rules and strategies
Résumé
This talk presents some results obtained at LORIA on prototyping and verification using the ELAN system.
Communication Dans Un Congrès
Année : 2001
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00100678
Soumis le : mardi 26 septembre 2006-14:49:03
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : inria-00100678 , version 1
Citer
Hélène Kirchner. Prototyping and verfication with rules and strategies. Cyber Assist International Symposium, 2001, Tokyo, Japan. ⟨inria-00100678⟩
Collections
22
Consultations
0
Téléchargements