Luís C. D. S. Cruz

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Marcel Vinícius Medeiros Oliveira, David Déharbe, Luís C. D. S. Cruz
B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design. SBMF (2011)