Holdings: Vérification temporelle de programmes ELECTRE

Saved in:

Bibliographic Details
Main Author :	Rusu Vlad
Format :	Thesis
Language :	français
Title statement :	Vérification temporelle de programmes ELECTRE
Published :	1995
Physical Description :	120 p
Note de thèse :	Th. : Sci. : Nantes : 1995 ; 2101
Subjects :	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é

Holdings details from BU Sciences
Location	Call Number	Loan type	Status
Magasin aérotherme	95 NANT 2101	Empruntable	Available
Magasin aérotherme	95 NANT 2101	Exclu du prêt	Disponible

Holdings details from Bib. Centrale Nantes
Location	Call Number	Loan type	Status
Magasin 3	TH 1586 bis	Empruntable	Available
Magasin 3	TH 1586	Exclu du prêt	Disponible