Login / Signup

Spatio-Temporal Models for Formal Analysis and Property-Based Testing.

Nasser AlzahraniMaria SpichkovaJan Olaf Blech
Published in: STAF Workshops (2016)
Keyphrases
  • formal analysis
  • spatio temporal
  • image sequences
  • moving objects
  • statistical models
  • computer vision
  • knowledge base
  • multi agent systems
  • model selection
  • business process
  • complex systems
  • formal methods