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

9781475752601, 9780387352718

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modelling Digital Logic in SDL

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_23 ◽

1997 ◽

pp. 367-382 ◽

Cited By ~ 4

Author(s):

G. Csopaki ◽

K. J. Turner

Keyword(s):

Digital Logic

Download Full-text

Algebraic Specification through Expression Transformation

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_22 ◽

1997 ◽

pp. 355-366 ◽

Cited By ~ 2

Author(s):

M. J. Fernández Iglesias ◽

M. Llamas Nistal

Keyword(s):

Algebraic Specification

Download Full-text

A Methodology for the Description of System Requirements and the Derivation of Formal Specifications

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_24 ◽

1997 ◽

pp. 383-398 ◽

Cited By ~ 1

Author(s):

Atsushi Togashi ◽

Fumiaki Kanezashi ◽

Xiaosong Lu

Keyword(s):

Formal Specifications ◽

System Requirements

Download Full-text

Interoperability Test Suite Derivation for Symmetric Communication Protocols

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_4 ◽

1997 ◽

pp. 57-72 ◽

Cited By ~ 13

Author(s):

Sungwon Kang ◽

Myungchul Kim

Keyword(s):

Communication Protocols ◽

Test Suite ◽

Interoperability Test

Download Full-text

A timed automaton model for ET-LOTOS verification

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_12 ◽

1997 ◽

pp. 193-204 ◽

Cited By ~ 1

Author(s):

Christian Hernalsteen

Keyword(s):

Timed Automaton

Download Full-text

On a Concurrency Calculus for Design of Mobile Telecommunication Systems

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_33 ◽

1997 ◽

pp. 535-546 ◽

Cited By ~ 2

Author(s):

T. Ando ◽

K. Takahashi ◽

Y. Kato

Keyword(s):

Mobile Telecommunication ◽

Telecommunication Systems

Download Full-text

Dynamic priorities for modeling real-time

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_20 ◽

1997 ◽

pp. 321-336 ◽

Cited By ~ 1

Author(s):

Girish Bhat ◽

Rance Cleaveland ◽

Gerald Lüttgen

Keyword(s):

Real Time ◽

Dynamic Priorities

Download Full-text

On-line timed protocol trace analysis based on uncertain state descriptions

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_21 ◽

1997 ◽

pp. 337-352 ◽

Cited By ~ 1

Author(s):

Marek Musial

Keyword(s):

Trace Analysis ◽

On Line

Download Full-text

An Improved Search Strategy for Lossy Channel Systems

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_16 ◽

1997 ◽

pp. 251-264 ◽

Cited By ~ 4

Author(s):

Parosh Aziz Abdulla ◽

Mats Kindahl ◽

Doron Peled

Keyword(s):

Search Strategy ◽

Lossy Channel ◽

Channel Systems

Download Full-text

Friendly Testing as a Conformance Relation

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_18 ◽

1997 ◽

pp. 283-298 ◽

Cited By ~ 5

Author(s):

David Frutos-Escrig ◽

Luis Llana-Díaz ◽

Manuel Núñez

Download Full-text

Formal Description Techniques and Protocol Specification, Testing and VerificationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Modelling Digital Logic in SDL

Algebraic Specification through Expression Transformation

A Methodology for the Description of System Requirements and the Derivation of Formal Specifications

Interoperability Test Suite Derivation for Symmetric Communication Protocols

A timed automaton model for ET-LOTOS verification

On a Concurrency Calculus for Design of Mobile Telecommunication Systems

Dynamic priorities for modeling real-time

On-line timed protocol trace analysis based on uncertain state descriptions

An Improved Search Strategy for Lossy Channel Systems

Friendly Testing as a Conformance Relation

Formal Description Techniques and Protocol Specification, Testing and Verification
Latest Publications