Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées /

Description

Thèse de doctorat--Informatique et réseaux--Paris--ENST, 2006. / Bibliogr. p. 177-184. Résumé en français et en anglais.

Links & Downloads

1. http://catalogue.bnf.fr/ark:/12148/cb41024533b

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/470877344
Date	January 1900
Creators	Vergnaud, Thomas.
Publisher	Paris : École nationale supérieure des télécommunications,
Source Sets	OCLC
Language	French
Detected Language	French