IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781475752625, 9780387353944

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Erratum to: Formal Description Techniques and Protocol Specification, Testing and Verification

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification ◽

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

2017 ◽

pp. E1-E1

Author(s):

Stan Budkowski ◽

Ana Cavalli ◽

Elie Najm

Keyword(s):

Formal Description ◽

Specification Testing ◽

Protocol Specification ◽

Formal Description Techniques

Download Full-text

Fault-Oriented Test Generation for Multicast Routing Protocol Design

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35394-4_6 ◽

1998 ◽

pp. 93-109 ◽

Cited By ~ 12

Author(s):

Ahmed Helmy ◽

Deborah Estrin ◽

Sandeep Gupta

Keyword(s):

Routing Protocol ◽

Test Generation ◽

Multicast Routing ◽

Protocol Design ◽

Multicast Routing Protocol

Download Full-text

Issues in Conformance Testing: Multiple Semicontrollable Interfaces

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35394-4_7 ◽

1998 ◽

pp. 111-126 ◽

Cited By ~ 6

Author(s):

Mariusz A. Fecko ◽

M. Ümit Uyar ◽

Adarshpal S. Sethi ◽

Paul D. Amer

Keyword(s):

Conformance Testing

Download Full-text

Protocol Feature Interactions

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35394-4_4 ◽

1998 ◽

pp. 59-74 ◽

Cited By ~ 4

Author(s):

Thomas F. LaPorta ◽

David Lee ◽

Yow-Jian Lin ◽

Mihalis Yannakakis

Keyword(s):

Feature Interactions

Download Full-text

Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35394-4_16 ◽

1998 ◽

pp. 249-263

Author(s):

S. V. Campos

Keyword(s):

Shared Variables ◽

Synchronization Primitives

Download Full-text

SDL-Pattern based Development of a Communication Subsystem for CAN

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35394-4_13 ◽

1998 ◽

pp. 197-212 ◽

Cited By ~ 4

Author(s):

B. Geppert ◽

A. Kühlmeyer ◽

F. Rößler ◽

M. Schneider

Download Full-text

Twotowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35394-4_28 ◽

1998 ◽

pp. 457-467 ◽

Cited By ~ 16

Author(s):

M. Bernardo ◽

W. R. Cleaveland ◽

S. T. Sims ◽

W. J. Stewart

Keyword(s):

Performance Analysis ◽

Concurrent Systems ◽

And Performance

Download Full-text

Quality of Service in Integrated Networks

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35394-4_9 ◽

1998 ◽

pp. 143-143

Author(s):

Paul J. Kuehn

Keyword(s):

Quality Of Service ◽

Integrated Networks

Download Full-text

A Logical Framework for Distributed Systems and Communication Protocols

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35394-4_20 ◽

1998 ◽

pp. 327-333 ◽

Cited By ~ 1

Author(s):

José Meseguer

Keyword(s):

Distributed Systems ◽

Communication Protocols ◽

Logical Framework

Download Full-text

“On-the-Fly Instantiation” of Value-Passing Processes

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35394-4_14 ◽

1998 ◽

pp. 215-230 ◽

Cited By ~ 11

Author(s):

Huimin Lin

Download Full-text

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and VerificationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Erratum to: Formal Description Techniques and Protocol Specification, Testing and Verification

Fault-Oriented Test Generation for Multicast Routing Protocol Design

Issues in Conformance Testing: Multiple Semicontrollable Interfaces

Protocol Feature Interactions

Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers

SDL-Pattern based Development of a Communication Subsystem for CAN

Twotowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems

Quality of Service in Integrated Networks

A Logical Framework for Distributed Systems and Communication Protocols

“On-the-Fly Instantiation” of Value-Passing Processes

IFIP Advances in Information and Communication Technology - Formal Description Techniques and Protocol Specification, Testing and Verification
Latest Publications