Login / Signup
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies.
Pascal André
Gilles Ardourel
J. Christian Attiogbé
Arnaud Lanoix
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
building blocks
knowledge base
special case
machine learning
artificial intelligence
image processing
case study
database systems
multi agent
mobile robot