Login / Signup

Type-Driven Verification of Non-functional Properties.

Christopher BrownAdam D. BarwellYoann MarquerCéline MinhOlivier 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