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

> Fiche œuvre du catalogue https://superlivre.fr/livre/selection-de-tests-de-proprietes-de-surete-a-partir-dune-modelisation-algebrique-cb36687000k (données du dépôt légal BnF).

- **Auteur** : [Nai-Cheng Hsiao](https://superlivre.fr/auteur/nai-cheng-hsiao-cb12518434v)
- **Première parution** : 1995
- **Langue** : français
- **Genres** : [LUSTRE (langage de programmation)](https://superlivre.fr/genre/lustre-langage-de-programmation-cb133201792)
- **Éditions recensées** : 1 (1995–1995)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1995 | [[Service de documentation et d'édition multimédia, Centre d'études de Saclay]](https://superlivre.fr/editeur/service-de-documentation-et-dedition-multimedia-centre-detudes-de-saclay) | Gif-sur-Yvette | 149 |  |