Normal view MARC view ISBD view

Modélisation de STATECHARTS en SIGNAL pour la conception de systèmes critiques temps-réel / par Jean-René Beauvais

Publication : Rennes (FRA) : Université de Rennes 1, 1999Description : 159 p. : Ill. ; 30 cmThèse : .Sujet : LANGAGE SIGNAL ;ORDONNANCEMENT ;STATECHART ;TEMPS REEL ;Preuve
Current location Call number Status Date due Barcode
Centre de recherche en informatique
1999 BEA Sur demande CRI04340D

Bibliogr. p. 157-159

Th. doct. Informatique Université de Rennes 1 1999

Powered by Koha