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

> Fiche œuvre du catalogue https://superlivre.fr/livre/modelisation-des-systemes-temps-reel-repartis-embarques-pour-la-generation-autom-cb41024533b (données du dépôt légal BnF).

- **Auteur** : [Thomas Vergnaud](https://superlivre.fr/auteur/thomas-vergnaud-cb15542537r)
- **Première parution** : 2007
- **Langue** : français
- **Éditions recensées** : 1 (2007–2007)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2007 | [École nationale supérieure des télécommunications](https://superlivre.fr/editeur/ecole-nationale-superieure-des-telecommunications) | Paris | 191 |  |