Login / Signup
Type-Driven Verification of Non-functional Properties.
Christopher Brown
Adam D. Barwell
Yoann Marquer
Céline Minh
Olivier Zendra
Published in:
PPDP (2019)
Keyphrases
</>
service oriented
genetic algorithm
data driven
machine learning
similarity measure
artificial neural networks
business processes
face verification
formal analysis