VHDL Code Generation from Formal Event-B Models.

Sergey Ostroumov Leonidas Tsiopoulos

Published in: DSD (2011)

Keyphrases

code generation
case study
knowledge management
database
real world
xml documents
petri net
metamodel
application development
modeling language