next up previous

Final Report of the COST-247 Action


MHS MESSAGE WITH EDIM

Gabor Borsodi (1), Sarolta Dibuz (2), Katalin Tarnay (3)

(1) Department of Telecommunications and Telematics
Technical University of Budapest
~
(2) KFKI Group
~
(3) KFKI-MSZKI
Budapest
Hungary

Abstract:

This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).

COST-247 Working Group(s): 3


This Page was prepared by Mark Jorgensen.


Back to the VASY Home page