Formal Description Techniques IX - IFIP Advances in Information and Communication Technology
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer US

9781504128834, 9780387350790

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tool support for algebraic specifications of data in SDL-92

Formal Description Techniques IX - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35079-0_4 ◽

1996 ◽

pp. 61-76 ◽

Author(s):

N. N. Mansurov ◽

A. S. Ragozin ◽

A. V. Chernov ◽

I. V. Mansurov

Keyword(s):

Tool Support ◽

Algebraic Specifications

Download Full-text

Combined Application of SDL-92, OMT, MSC and TTCN

Formal Description Techniques IX - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35079-0_29 ◽

1996 ◽

pp. 451-466

Author(s):

Eurico Inocêncio ◽

Manuel Ricardo ◽

Hitoshi Sato ◽

Toshimitsu Kashima

Keyword(s):

Combined Application

Download Full-text

Direct Verification of Bisimulations

Formal Description Techniques IX - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35079-0_22 ◽

1996 ◽

pp. 349-363 ◽

Author(s):

Martin Llamas ◽

Juan Quemada ◽

Manuel J. Fernández

Keyword(s):

Direct Verification

Download Full-text

Performance Modelling with the Formal Specification Language SDL

Formal Description Techniques IX - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35079-0_13 ◽

1996 ◽

pp. 213-228 ◽

Author(s):

M. Bütow ◽

M. Mestern ◽

C. Schapiro ◽

P. S. Kritzinger

Keyword(s):

Formal Specification ◽

Specification Language ◽

Performance Modelling ◽

Formal Specification Language

Download Full-text

The Video Dial Tone Service and the ATM Environment

Formal Description Techniques IX - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35079-0_1 ◽

1996 ◽

pp. 3-25

Author(s):

André Danthine

Download Full-text

Model Reduction of Modules for State-Event Temporal Logics

Formal Description Techniques IX - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35079-0_16 ◽

1996 ◽

pp. 263-278 ◽

Author(s):

M. Lawford ◽

J. S. Ostroff ◽

W. M. Wonham

Keyword(s):

Model Reduction ◽

Temporal Logics

Download Full-text

Comparing LOTOS and Z refinement relations

Formal Description Techniques IX - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35079-0_32 ◽

1996 ◽

pp. 501-516 ◽

Author(s):

J. Derrick ◽

H. Bowman ◽

E. A. Boiten ◽

M. W. A. Steen

Download Full-text

Applications of Fair Testing

Formal Description Techniques IX - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35079-0_9 ◽

1996 ◽

pp. 145-160 ◽

Author(s):

E. Brinksma ◽

A. Rensink ◽

W. Vogler

Download Full-text

Formal description techniques - how formal and descriptive are they?

Formal Description Techniques IX - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35079-0_6 ◽

1996 ◽

pp. 95-110 ◽

Author(s):

M. Broy

Keyword(s):

Formal Description ◽

Formal Description Techniques

Download Full-text

On the Introduction of Exceptions in E-LOTOS

Formal Description Techniques IX - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35079-0_30 ◽

1996 ◽

pp. 469-484 ◽

Author(s):

Hubert Garavel ◽

Mihaela Sighireanu

Download Full-text