Hi-Lite - Verification by Contract.

Johannes Kanig Jérôme Guitton Yannick Moy

Published in: Softwaretechnik-Trends (2011)

Keyphrases

model checking
supply chain
computer vision
artificial neural networks
machine learning
decision trees
bayesian networks
probabilistic model
signature verification
person identification