Automatic code generation for multi-microblaze system with syndex.

Pengcheng Mu Mickaël Raulet Jean-François Nezan Jean-Gabriel Cousin

Published in: EUSIPCO (2007)

Keyphrases

code generation
code generator
data driven
application development
rapid prototyping
formal specification
real world
machine learning
software development
model checking
modeling language
model driven
databases
multi agent
business process
process model