Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France > Erratum to: Formal Description Techniques and Protocol Specification, Testing and Verification
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France |
Stan Budkowski; Ana Cavalli; Elie Najm
Springer US
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Erratum to: Formal Description Techniques and Protocol Specification, Testing and Verification
Authors

Stan Budkowski; Ana Cavalli; Elie Najm

ARI Id

1664085642947_266639

Access

Not Available Free

Pages

E1-E1

DOI

10.1007/978-0-387-35394-4_29

Chapter URL

https://rd.springer.com/chapter/10.1007/978-0-387-35394-4_29

Table of Contents of Book
Showing 1 to 20 of 39 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xi
Front Matter
1-1
An Algebraic Semantics for Message Sequence Chart Documents
Thomas Gehrke; Michaela Huhn; Arend Rensink; Heike Wehrheim
3-18
Open Estelle — An FDT for Open Distributed Systems
J. Thees; R. Gotzhein
19-36
A Graphical Representation and Prototype Editor for the Formal Description Technique Estelle
Justin Templemore-Finlayson; Jean-luc Raffy; Pieter Kritzinger; Stan Budkowski
37-55
Front Matter
57-57
Protocol Feature Interactions
Thomas F. LaPorta; David Lee; Yow-Jian Lin; Mihalis Yannakakis
59-74
Limits and Possibilities of Sequential Hashing with Supertrace
Jürgen Eckerle; Thomas Lais
75-90
Front Matter
91-91
Fault-Oriented Test Generation for Multicast Routing Protocol Design
Ahmed Helmy; Deborah Estrin; Sandeep Gupta
93-109
Issues in Conformance Testing: Multiple Semicontrollable Interfaces
Mariusz A. Fecko; M. Ümit Uyar; Adarshpal S. Sethi; Paul D. Amer
111-126
Automatic Test Case Generation of Real Protocols: Framework and Methodology
Tae-hyong Kim; Ik-soon Hwang; Chan-min Park; Jai-yong Lee; Sang-bae Lee
127-140
Front Matter
145-145
Enumeration protocol in Estelle: an exercise in stepwise development
P. Dembiñski
147-162
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents
C. A. S. Santos; J.-P. Courtiat; P. de Saqui-Sannes
163-178
Front Matter
179-179
Frameworks by means of virtual types — exemplified by SDL
Rolv Brœk; Birger Møller-Pedersen
181-196
SDL-Pattern based Development of a Communication Subsystem for CAN
B. Geppert; A. Kühlmeyer; F. Rößler; M. Schneider
197-212
Front Matter
213-213
“On-the-Fly Instantiation” of Value-Passing Processes
Huimin Lin
215-230
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 39 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings