Login / Signup
Foundations for a Combination of Heterogeneous Specification Components.
Gwen Salaün
Michel Allemand
J. Christian Attiogbé
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
formal verification
specification language
real time
neural network
artificial intelligence
bayesian networks
building blocks
combining multiple
database
data sets
high level
artificial neural networks
object oriented
formal specification