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

1996 ◽  
pp. 61-76 ◽  
Author(s):  
N. N. Mansurov ◽  
A. S. Ragozin ◽  
A. V. Chernov ◽  
I. V. Mansurov
Keyword(s):  
Tool Support ◽  
Algebraic Specifications

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

1996 ◽  
pp. 451-466
Author(s):  
Eurico Inocêncio ◽  
Manuel Ricardo ◽  
Hitoshi Sato ◽  
Toshimitsu Kashima
Keyword(s):  
Combined Application

Direct Verification of Bisimulations

1996 ◽  
pp. 349-363 ◽  
Author(s):  
Martin Llamas ◽  
Juan Quemada ◽  
Manuel J. Fernández
Keyword(s):  
Direct Verification

scholarly journals Model Reduction of Modules for State-Event Temporal Logics

1996 ◽  
pp. 263-278 ◽  
Author(s):  
M. Lawford ◽  
J. S. Ostroff ◽  
W. M. Wonham
Keyword(s):  
Model Reduction ◽  
Temporal Logics

scholarly journals Comparing LOTOS and Z refinement relations

1996 ◽  
pp. 501-516 ◽  
Author(s):  
J. Derrick ◽  
H. Bowman ◽  
E. A. Boiten ◽  
M. W. A. Steen

On the Introduction of Exceptions in E-LOTOS

1996 ◽  
pp. 469-484 ◽  
Author(s):  
Hubert Garavel ◽  
Mihaela Sighireanu

A Timed Semantics for SDL

1996 ◽  
pp. 295-309 ◽  
Author(s):  
Simon Mørk ◽  
Jens C. Godskesen ◽  
Michael R. Hansen ◽  
Robin Sharp
Load More ...
Sign in / Sign up

Export Citation Format

Share Document