Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs / David Delfieu ; sous la direction de Abd-El-Kader Sahraoui
Date : 1995
Format : 1 microfiche
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Collection : Lille-thèses / Atelier de reproduction des thèses / Lille : Atelier national de reproduction des thèses , 1983-2017
Relation : Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs / David Delfieu ; sous la direction de Abd-El-Kader Sahraoui / [Lieu de publication inconnu] : [éditeur inconnu] , [1995]