Login / Signup

Improving Predictability, Efficiency and Trust of Model-Based Proof Activity.

Jean-Frédéric ÉtienneManuel MaarekFlorent AnseaumeVéronique Delebarre
Published in: ICSE (2) (2015)
Keyphrases
  • computational efficiency
  • trust model
  • neural network
  • real world
  • information technology
  • business processes
  • highly efficient
  • model free