Generation of Structural VHDL Code with Library Components from Formal Event-B Models.

Sergey Ostroumov Leonidas Tsiopoulos Kaisa Sere Juha Plosila

Published in: DSD (2013)

Keyphrases

information systems
statistical models
probabilistic model
probability distribution
complex systems
formal models
database
bayesian networks
video sequences
software engineering
experimental data
structural information
computational models
mathematical models
generation process