Description: Vérification temporelle de programmes ELECTRE

Enregistré dans:

Détails bibliographiques
Auteur principal :	Rusu Vlad
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 :	Vérification temporelle (automatique) Programmes ELECTRE (Exécutif et Langage de Contrôle Temps-Réel REparti), traduction en automates hybrides Automates hybrides fortement-non-Zenon Logique temporelle (informatique appliquée) Décidabilité

Description
Titre de couverture :	E.D. Sciences pour l'ingénieur, Automatique et Informatique appliquée
Notes :	ECN
Bibliographie :	58 réf. bibl.