Login / Signup

Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B.

Abderrahman MatoussiRégine Laleau
Published in: Ingénierie des Systèmes d Inf. (2012)
Keyphrases
  • event detection
  • case study
  • image segmentation
  • evolutionary algorithm
  • real world
  • data mining
  • computer vision
  • event recognition
  • event models