Login / Signup

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