Conference Papers
Year : 2004
Mohamed Khalgui : Connect in order to contact the contributor
https://inria.hal.science/inria-00000796
Submitted on : Thursday, November 24, 2005-8:23:54 AM
Last modification on : Friday, March 24, 2023-2:52:47 PM
Dates and versions
Identifiers
- HAL Id : inria-00000796 , version 1
Cite
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
View
0
Download