Sign in

Three Approaches to Timed External Choice in UTP.

Samuel CanhamJim Woodcock
Published in: UTP (2014)
Keyphrases
  • strengths and weaknesses
  • databases
  • artificial intelligence
  • database
  • data sets
  • machine learning
  • computer vision
  • multimedia
  • website
  • clustering algorithm
  • object recognition
  • relational databases
  • petri net