Diagnostic des systèmes temps réel modélisés par des automates à entrées sorties temporisées
| Contribuinte(s) |
DSSOULI, RACHIDA Nourelfath, Mustapha |
|---|---|
| Data(s) |
21/09/2016
21/09/2016
2003
2002
|
| Resumo |
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal. |
| Identificador | |
| Idioma(s) |
fr |
| Palavras-Chave | #Test #Automates temporisés #Modèle de fautes |
| Tipo |
Thèse ou Mémoire numérique / Electronic Thesis or Dissertation |
