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

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 Comparing LOTOS and Z refinement relations

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

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