Thumbnail - Request a copy

Modèles temporisés

Bérard, Béatrice (2006), Modèles temporisés, in 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
Book title
Méthodes formelles pour les systèmes répartis et coopératifs
Book author
Haddad, Serge; Kordon, Fabrice; Petrucci, Laure
Publisher
Hermes/Lavoisier
Published in
Paris
ISBN
2-7462-1447-4
Number of pages
347
Pages
53-91
Metadata
Show full item record
Author(s)
Bérard, Béatrice
Subjects / Keywords
Méthodes formelles; Systèmes à paramètres répartis