Sélection de tests de propriétés de sûreté à partir d'une modélisation algébrique de programmes LUSTRE /

Description

Th. univ.--Sci.--Paris 11-Orsay, 1994. / Bibliogr. p. 145-149. Résumé en anglais et en français.

Links & Downloads

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

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/466755925
Date	January 1995
Creators	Hsiao, Nai-Cheng.
Publisher	Gif-sur-Yvette : Service de documentation et d'édition multimédia, Centre d'études de Saclay,
Source Sets	OCLC
Language	French
Detected Language	French