Login / Signup

Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

Published in: LASER Summer School (2012)
Keyphrases
  • summer school
  • neural network
  • user friendly
  • real life examples
  • end users
  • distance learning
  • world wide
  • machine learning
  • data streams
  • software tools
  • real world
  • mathematical models
  • tool kit