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'ouvrageDate
2006Book title
Méthodes formelles pour les systèmes répartis et coopératifsBook author
Haddad, Serge; Kordon, Fabrice; Petrucci, LaurePublisher
Hermes/Lavoisier
Published in
Paris
ISBN
2-7462-1447-4
Number of pages
347Pages
53-91
Metadata
Show full item recordAuthor(s)
Bérard, BéatriceSubjects / Keywords
Méthodes formelles; Systèmes à paramètres répartisRelated items
Showing items related by title and author.
-
Ben Gaid, Mongi; Bérard, Béatrice; de Smet, Olivier (2004) Communication / Conférence
-
Petit, Antoine; Bouyer, Patricia; Bérard, Béatrice (2004) Article accepté pour publication ou publié
-
Roux, Olivier-Henri; Bérard, Béatrice; Cassez, Franck; Haddad, Serge; Lime, Didier (2005) Communication / Conférence
-
Bérard, Béatrice; Gastin, Paul; Petit, Antoine (2006) Communication / Conférence
-
Roussel, Jean-Marc; de Smet, Olivier; Bel Mokadem, Houda; Bérard, Béatrice; Gourcuff, Vincent (2005) Communication / Conférence