Traits: Correctness-by-Construction for Free.

Tobias Runge Alex Potanin Thomas Thüm Ina Schaefer

Published in: FORTE (2022)

Keyphrases

construction process
database
real time
neural network
feature space
e learning
website
pattern recognition
image retrieval
special case