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

Validation of the Hybrid ERTMS/ETCS Level 3 using Spin.

Paolo ArcainiJan KofronPavel Jezek
Published in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
  • video sequences
  • higher level
  • database
  • real world
  • information systems
  • decision making
  • image processing
  • web services
  • face recognition
  • digital libraries
  • hidden markov models
  • levels of abstraction
  • hybrid learning