Thumbnail - Request a copy

Modèles temporisés

Bérard, Béatrice (2006), Modèles temporisés, dans Haddad, Serge; Kordon, Fabrice; Petrucci, Laure, Méthodes formelles pour les systèmes répartis et coopératifs, Hermes/Lavoisier : Paris, p. 53-91

Type
Chapitre d'ouvrage
Date
2006
Titre de l'ouvrage
Méthodes formelles pour les systèmes répartis et coopératifs
Auteurs de l’ouvrage
Haddad, Serge; Kordon, Fabrice; Petrucci, Laure
Éditeur
Hermes/Lavoisier
Ville d’édition
Paris
Isbn
2-7462-1447-4
Nombre de pages
347
Pages
53-91
Métadonnées
Afficher la notice complète
Auteur(s)
Bérard, Béatrice
Mots-clés
Méthodes formelles; Systèmes à paramètres répartis