[IEEE 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign - Nice, France (2007.05.30-2007.06.2)] 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) - Software/Hardware Engineering with the Parallel Object-Oriented Specification Language
Theelen, B.D., Florescu, O., Geilen, M.C.W., Huang, J., van der Putten, P.H.A., Voeten, J.P.M.Year:
2007
Language:
english
DOI:
10.1109/memcod.2007.371231
File:
PDF, 387 KB
english, 2007