UML et RT‐LOTOS. Vers une intégration informel/formel au service de la validation de systèmes temps réel
Résumé
no abstract
Communication Dans Un Congrès
Année : 2001
Christophe Lohr : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01674644
Soumis le : mercredi 3 janvier 2018-12:06:38
Dernière modification le : lundi 20 novembre 2023-11:44:17
Dates et versions
Identifiants
- HAL Id : hal-01674644 , version 1
Citer
Pierre de Saqui-Sannes, Ludovic Apvrille, Christophe Lohr, Jean-Pierre Courtiat. UML et RT‐LOTOS. Vers une intégration informel/formel au service de la validation de systèmes temps réel. Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'2001), 2001, Unknown, Région indéterminée. pp.513--528. ⟨hal-01674644⟩
Collections
47
Consultations
0
Téléchargements