Login / Signup

FoCaLiZe: Inside an F-IDE.

François Pessaux
Published in: F-IDE (2014)
Keyphrases
  • information retrieval
  • viewpoint
  • decision making
  • case study
  • reinforcement learning