Vérification de propriétés de programmes flots de données synchrones

Description

Reproduction de : Thèse de doctorat : informatique : Grenoble 1 : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 225-229.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00335630

Tags

Logiciels Temps réel (informatique)

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/494618503
Date	January 2008
Creators	Glory, Anne-Cécile. Ouabdesselam, Farid. Verjus, Jean-Pierre. Jorrand, Philippe. Sifakis, Joseph.
Publisher	S.l. : Université Grenoble 1,
Source Sets	OCLC
Language	French
Detected Language	French