Author: Benjamin Lerman
Publisher:
ISBN:
Category :
Languages : fr
Pages : 148
Book Description
Vérification et spécification des systèmes distribués
Author: Benjamin Lerman
Publisher:
ISBN:
Category :
Languages : fr
Pages : 148
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 148
Book Description
UNE EXPERIENCE DANS LA SPECIFICATION ET LA VALIDATION DES SYSTEMES DISTRIBUES
Author: CHRISTINE.. ECAULT
Publisher:
ISBN:
Category :
Languages : fr
Pages : 102
Book Description
EXPERIMENTATION SUR UN SYSTEME REEL DU PRINCIPE DE VALIDATION D'ALGORITHMES DISTRIBUES, PAR LA METHODE DES TESTS DE SPECIFICATION. PROPOSITION D'UN OUTIL DE VERIFICATION AUTOMATIQUE DE LA SPECIFICATION D'ALGORITHMES DISTRIBUES A PARTIR DES TRACES
Publisher:
ISBN:
Category :
Languages : fr
Pages : 102
Book Description
EXPERIMENTATION SUR UN SYSTEME REEL DU PRINCIPE DE VALIDATION D'ALGORITHMES DISTRIBUES, PAR LA METHODE DES TESTS DE SPECIFICATION. PROPOSITION D'UN OUTIL DE VERIFICATION AUTOMATIQUE DE LA SPECIFICATION D'ALGORITHMES DISTRIBUES A PARTIR DES TRACES
LA GENERATION D'OBSERVATEURS POUR LA VALIDATION DES PROPRIETES DES SYSTEMES DISTRIBUES
Author: OMAR.. DRISSI-KAITOUNI
Publisher:
ISBN:
Category :
Languages : fr
Pages : 131
Book Description
PRESENTATION DES PRINCIPAUX PROBLEMES DE LA VALIDATION, SUIVIE DE L'ETUDE DE LA TECHNIQUE DE VALIDATION D'IMPLANTATION PAR OBSERVATION CONTINUE DU SYSTEME SOUS TEXTE. L'APPROCHE EST PRESENTEE EN DEUX PARTIES. LA PREMIERE PARTIE EST CONSACREE A LA CLASSIFICATION DES PROPRIETES DES SYSTEMES DISTRIBUES, LEUR SPECIFICATION EN LOGIQUE TEMPORELLE LINEAIRE SUR DES TRACES D'EXECUTIONS FINIES ET LEUR COMPILATION EN AUTOMATES ACCEPTEURS. DANS LA DEUXIEME PARTIE, LE PROBLEME POSE PAR L'OBSERVATION D'UN ORDRE PARTIEL DES EVENEMENTS DANS UN CONTEXTE DISTRIBUE EST ETUDIE. DES ALGORITHMES DE CONSTRUCTION ET DE VERIFICATION DES OBSERVATIONS POUR UNE VALIDATION CENTRALISEE OU DISTRIBUEE SONT PROPOSES
Publisher:
ISBN:
Category :
Languages : fr
Pages : 131
Book Description
PRESENTATION DES PRINCIPAUX PROBLEMES DE LA VALIDATION, SUIVIE DE L'ETUDE DE LA TECHNIQUE DE VALIDATION D'IMPLANTATION PAR OBSERVATION CONTINUE DU SYSTEME SOUS TEXTE. L'APPROCHE EST PRESENTEE EN DEUX PARTIES. LA PREMIERE PARTIE EST CONSACREE A LA CLASSIFICATION DES PROPRIETES DES SYSTEMES DISTRIBUES, LEUR SPECIFICATION EN LOGIQUE TEMPORELLE LINEAIRE SUR DES TRACES D'EXECUTIONS FINIES ET LEUR COMPILATION EN AUTOMATES ACCEPTEURS. DANS LA DEUXIEME PARTIE, LE PROBLEME POSE PAR L'OBSERVATION D'UN ORDRE PARTIEL DES EVENEMENTS DANS UN CONTEXTE DISTRIBUE EST ETUDIE. DES ALGORITHMES DE CONSTRUCTION ET DE VERIFICATION DES OBSERVATIONS POUR UNE VALIDATION CENTRALISEE OU DISTRIBUEE SONT PROPOSES
Protocol Specification, Testing and Verification XV
Author: Piotr Dembinski
Publisher: Springer
ISBN: 0387348921
Category : Technology & Engineering
Languages : en
Pages : 452
Book Description
This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.
Publisher: Springer
ISBN: 0387348921
Category : Technology & Engineering
Languages : en
Pages : 452
Book Description
This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.
Protocol Specification, Testing, and Verification, V
Author: Michel Diaz
Publisher: North Holland
ISBN: 9780444878816
Category : Computer network protocols
Languages : en
Pages : 564
Book Description
Publisher: North Holland
ISBN: 9780444878816
Category : Computer network protocols
Languages : en
Pages : 564
Book Description
Une methode a multi-formalismes pour la specification et la validation de systemes distribues
Author: Abdel Moumen Agoulmine
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Book Description
Protocol Specification, Testing, and Verification
Author: Carl A. Sunshine
Publisher: North-Holland
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 592
Book Description
Publisher: North-Holland
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 592
Book Description
Protocol Specification, Testing, and Verification, VIII
Author: Sudhir Aggarwal
Publisher: Elsevier Science & Technology
ISBN:
Category : Computer network protocols
Languages : en
Pages : 444
Book Description
Publisher: Elsevier Science & Technology
ISBN:
Category : Computer network protocols
Languages : en
Pages : 444
Book Description
Protocol Specification, Testing, and Verification, IV
Author: Yechiam Yemini
Publisher: North Holland
ISBN:
Category : Computers
Languages : en
Pages : 740
Book Description
Hardbound. This book covers research in protocol theory and analysis, specification and formal models of protocols, protocol validation and verification, performance analysis of protocols, and protocol design implementation and testing.Main Features: 1. Broad coverage of the research in the area of computer communication protocols. 2. A combination of theoretical and experimental research on protocol modelling, design, analysis, synthesis, verification and testing. 3. A description of international research activities conducted by leading researchers in the field from over 13 countries.
Publisher: North Holland
ISBN:
Category : Computers
Languages : en
Pages : 740
Book Description
Hardbound. This book covers research in protocol theory and analysis, specification and formal models of protocols, protocol validation and verification, performance analysis of protocols, and protocol design implementation and testing.Main Features: 1. Broad coverage of the research in the area of computer communication protocols. 2. A combination of theoretical and experimental research on protocol modelling, design, analysis, synthesis, verification and testing. 3. A description of international research activities conducted by leading researchers in the field from over 13 countries.
Protocol Specification, Testing, and Verification, VI
Author: Concordia University
Publisher: North Holland
ISBN:
Category : Computers
Languages : en
Pages : 448
Book Description
Publisher: North Holland
ISBN:
Category : Computers
Languages : en
Pages : 448
Book Description