IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781475763089, 9780387348674

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Increasing the Efficiency of Computer-aided Protocol Implementations

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

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

1995 ◽

pp. 387-394 ◽

Cited By ~ 4

Author(s):

Thomas Held ◽

Hartmut Koenig

Keyword(s):

Computer Aided

Download Full-text

A Refinement Logic for the Fork Calculus

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

10.1007/978-0-387-34867-4_1 ◽

1995 ◽

pp. 5-20 ◽

Cited By ~ 1

Author(s):

Klaus Havelund ◽

Kim Guldstrand Larsen

Download Full-text

Failure-based Congruences, Unfair Divergences and New Testing Theory

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

10.1007/978-0-387-34867-4_17 ◽

1995 ◽

pp. 252-267 ◽

Cited By ~ 8

Author(s):

Guy Leduc

Keyword(s):

Testing Theory

Download Full-text

Hardware Synthesis from a Restricted Class of LOTOS Expressions

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

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

1995 ◽

pp. 379-386 ◽

Cited By ~ 1

Author(s):

Teruo Higashino ◽

Keiichi Yasumoto ◽

Junji Kitamichi ◽

Kenichi Taniguchi

Keyword(s):

Restricted Class ◽

Hardware Synthesis

Download Full-text

On Specifying Services and Synthesizing Protocols for Real-Time Applications

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

10.1007/978-0-387-34867-4_12 ◽

1995 ◽

pp. 185-200 ◽

Cited By ~ 4

Author(s):

A. Khoumsi ◽

G. V. Bochmann ◽

R. Dssouli

Keyword(s):

Real Time ◽

Real Time Applications

Download Full-text

Invited Address I

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

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

1995 ◽

pp. 53-67 ◽

Cited By ~ 2

Author(s):

Ed Brinksma

Download Full-text

Functional Approach to Protocols Specification

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

10.1007/978-0-387-34867-4_30 ◽

1995 ◽

pp. 395-402 ◽

Cited By ~ 2

Author(s):

Jakub Bojanowski ◽

Michal Iglewski ◽

Jan Madey ◽

Abdellatif Obaid

Keyword(s):

Functional Approach

Download Full-text

Protocol Conformance Test Case Verification Using Timed-Transitions

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

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

1995 ◽

pp. 103-118

Author(s):

Kshirasagar Naik ◽

Behcet Sarikaya

Keyword(s):

Test Case ◽

Conformance Test

Download Full-text

Invited Address III

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

10.1007/978-0-387-34867-4_24 ◽

1995 ◽

pp. 347-347

Author(s):

David L. Tennenhouse

Download Full-text

Generalized Fair Reachability Analysis for Cyclic Protocols: Part 1

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

10.1007/978-0-387-34867-4_18 ◽

1995 ◽

pp. 271-286 ◽

Cited By ~ 2

Author(s):

Hong Liu ◽

Raymond E. Miller

Keyword(s):

Reachability Analysis

Download Full-text

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIVLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Increasing the Efficiency of Computer-aided Protocol Implementations

A Refinement Logic for the Fork Calculus

Failure-based Congruences, Unfair Divergences and New Testing Theory

Hardware Synthesis from a Restricted Class of LOTOS Expressions

On Specifying Services and Synthesizing Protocols for Real-Time Applications

Invited Address I

Functional Approach to Protocols Specification

Protocol Conformance Test Case Verification Using Timed-Transitions

Invited Address III

Generalized Fair Reachability Analysis for Cyclic Protocols: Part 1

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV
Latest Publications