Separate Compilation of Polychronous Specifications.

Julien Ouy Jean-Pierre Talpin Loïc Besnard Paul Le Guernic

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

code generation
delay insensitive
data mining
formal specification
object oriented
database systems
bayesian networks
digital libraries
expert systems
artificial neural networks
specification language
reactive systems
written in natural language