Type(s) de contenu et mode(s) de consultation : Texte noté. Image fixe : sans médiation

Auteur(s) : Hsiao, Nai-Cheng  Voir les notices liées en tant qu'auteur

Titre(s) : Sélection de tests de propriétés de sûreté à partir d'une modélisation algébrique de programmes LUSTRE [Texte imprimé] / par Nai-Cheng Hsiao

Publication : Gif-sur-Yvette : Service de documentation et d'édition multimédia, Centre d'études de Saclay, 1995

Description matérielle : 149 p. : ill. ; 30 cm

Collection : Rapport CEA, ISSN 0429-3460 ; 5705

Lien à la collection : Rapport - CEA  Voir toutes les notices liées

Note(s) : Bibliogr. p. 145-149. Résumé en anglais et en français
Th. univ. : Sci. : Paris 11-Orsay : 1994

Sujet(s) : LOFT (logiciel)  Voir les notices liées en tant que sujet
LUSTRE (langage de programmation)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : (Br.)

Identifiant de la notice  : ark:/12148/cb36687000k

Notice n° :  FRBNF36687000