Communication Dans Un Congrès
Année : 2004
Mohamed Khalgui : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00000796
Soumis le : jeudi 24 novembre 2005-08:23:54
Dernière modification le : vendredi 24 mars 2023-14:52:47
Dates et versions
Identifiants
- HAL Id : inria-00000796 , version 1
Citer
Olfa Mosbahi, Jacques Jaray. Développement formel de systèmes de contrôle-commande.. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2004, Jun 2004, Besançon/France. ⟨inria-00000796⟩
Collections
47
Consultations
0
Téléchargements