Vérification temporelle de programmes ELECTRE
Enregistré dans:
Auteur principal : | |
---|---|
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Vérification temporelle de programmes ELECTRE |
Publié : |
1995 |
Description matérielle : | 120 p |
Note de thèse : | Th. : Sci. : Nantes : 1995 ; 2101 |
Sujets : |
Table des matières indisponible