|
| 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 |
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