Nai-Cheng Hsiao

Œuvres1

Total pages149médiane 149 p.

Période d'activité1995

Prochaine sortie estimée—Pas assez de données (≥3 publis requises)

Bibliographie (1)

Année	Titre	Éditeur	Pages
1995	Sélection de tests de propriétés de sûreté à partir d'une modélisation algébrique de programmes LUSTRE	[Service de documentation et d'édition multimédia, Centre d'études de Saclay]	149

Auteurs ayant un livre paru la même année chez un éditeur de Nai-Cheng Hsiao.

Auteur	Contexte(s)	Croisements
Nadine Tocquet	[Service de documentation et d'édition multimédia, Centre d'études de Saclay] (1995)	1
Nicolas Hourdequin	[Service de documentation et d'édition multimédia, Centre d'études de Saclay] (1995)	1
Lionel Bion	[Service de documentation et d'édition multimédia, Centre d'études de Saclay] (1995)	1