![](/img/cover-not-exists.png)
[IEEE 2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003) - Mont Saint Michel, France (2003.06.24-2003.06.26)] First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. - Translating Fusion/UML to Object-Z
Bittner, M., Kammuller, F.Year:
2003
Language:
english
DOI:
10.1109/memcod.2003.1210087
File:
PDF, 231 KB
english, 2003