• 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

Assessment of ESTELLE and EDT Through Real Case Studies

Haddad, Serge; Taghelit, Mohamed; Zouari, Belhassen (1993), Assessment of ESTELLE and EDT Through Real Case Studies, in Danthine, André; Leduc, Guy; Wolper, Pierre, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, North-Holland Publishing Co : Amsterdam, p. 223-238

Type
Communication / Conférence
Date
1993
Conference title
PSTV'93 13th IFIP symposium on Protocol Specification, Testing and Verification
Conference date
1993-05
Conference city
Liège
Conference country
Belgique
Book title
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification
Book author
Danthine, André; Leduc, Guy; Wolper, Pierre
Publisher
North-Holland Publishing Co
Published in
Amsterdam
ISBN
0-444-81648-8
Pages
223-238
Metadata
Show full item record
Author(s)
Haddad, Serge
Taghelit, Mohamed
Zouari, Belhassen
Subjects / Keywords
EDT; ESTELLE

Related items

Showing items related by title and author.

  • Thumbnail
    Etude critique de la modélisation et de l'évaluation de protocoles dans un environnement ESTELLE 
    Haddad, Serge; Taghelit, Mohamed; Zouari, Belhassen (1996) Article accepté pour publication ou publié
  • Thumbnail
    Symbolic Reachability Graph and Partial Symmetries 
    Haddad, Serge; Ilié, Jean-Michel; Taghelit, Mohamed; Zouari, Belhassen (1995) Communication / Conférence
  • Thumbnail
    A Protocol Specification Language with a High-level Petri Net Semantics 
    Zouari, Belhassen; Taghelit, Mohamed; Haddad, Serge (1993) Communication / Conférence
  • Thumbnail
    Une approche générique des systèmes parallèles 
    Haddad, Serge; Taghelit, Mohamed; Zouari, Belhassen (1994) Communication / Conférence
  • Thumbnail
    A Structural Approach to Design Reliable Distributed Applications 
    Taghelit, Mohamed; Haddad, Serge; Sens, Pierre (1997) 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