Login / Signup

B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design.

Marcel Vinícius Medeiros OliveiraDavid DéharbeLuís C. D. S. Cruz
Published in: SBMF (2011)
Keyphrases