• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
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

Related items

Showing items related by title and author.

  • Thumbnail
    Modélisation et vérification d'un évaporateur en Uppaal 
    Ben Gaid, Mongi; Bérard, Béatrice; de Smet, Olivier (2004) Communication / Conférence
  • Thumbnail
    Analysing the PGM protocol with Uppaal 
    Petit, Antoine; Bouyer, Patricia; Bérard, Béatrice (2004) Article accepté pour publication ou publié
  • Thumbnail
    Comparison of the Expressiveness of Timed Automata and Time Petri Nets 
    Roux, Olivier-Henri; Bérard, Béatrice; Cassez, Franck; Haddad, Serge; Lime, Didier (2005) Communication / Conférence
  • Thumbnail
    Intersection of Regular Signal-Event (Timed) Languages 
    Bérard, Béatrice; Gastin, Paul; Petit, Antoine (2006) Communication / Conférence
  • Thumbnail
    Verification of a timed multitask system with UPPAAL 
    Roussel, Jean-Marc; de Smet, Olivier; Bel Mokadem, Houda; Bérard, Béatrice; Gourcuff, Vincent (2005) Communication / Conférence
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo