• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Formal modeling and analysis of railway operations with active objects.

Eduard KamburjanReiner HähnleSebastian Schön
Published in: Sci. Comput. Program. (2018)
Keyphrases
  • statistical modeling
  • real time
  • quantitative analysis
  • machine learning
  • artificial intelligence
  • computer vision
  • clustering algorithm
  • case study
  • data analysis
  • image analysis
  • spatial relationships