Login / Signup

Painless Support for Static and Runtime Verification of Component-Based Applications.

Nuno GasparLudovic HenrioEric Madelaine
Published in: FSEN (2015)
Keyphrases
  • neural network
  • formal verification
  • data sets
  • databases
  • data structure