|
| Final Report of the COST-247 Action |
SOFTWARE/HARDWARE CO-DESIGN USING THE TWO SPECIFICATION LANGUAGES: SDL AND S/R
Ella Bounimova
| TUBITAK Software R&D Center |
| METU Computer |
| Engineering Department |
| Ankara |
| Turkey |
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):
This Page was prepared by Mark Jorgensen.
Back to the VASY Home page