Communication Dans Un Congrès
Année : 2006
Zineb Simeu-Abazi : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00376022
Soumis le : jeudi 16 avril 2009-15:20:21
Dernière modification le : jeudi 4 avril 2024-21:36:26
Dates et versions
Identifiants
- HAL Id : hal-00376022 , version 1
Citer
M. Knotek, Zineb Simeu-Abazi. Fault diagnosis based on timed automata: Diagnoser verification. CESA'06 IMACS Multiconference, Computation Engineering in Systems Application, Oct 2006, Beijing, China. ⟨hal-00376022⟩
43
Consultations
0
Téléchargements