Login / Signup

Une méthode de formalisation progressive des exigences basée sur un modèle simulable.

Clémentine NebutFranck Fleurey
Published in: Obj. Logiciel Base données Réseaux (2005)
Keyphrases
  • formal analysis
  • hybrid algorithm
  • bundle adjustment
  • optimal solution
  • multi objective
  • structure from motion