Login / Signup

Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B.

Dana DghaymMohammadsadegh DalvandiMichael PoppletonColin F. Snook
Published in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
  • real time
  • high level
  • event detection
  • spatio temporal
  • object oriented
  • higher level
  • news articles
  • lower level
  • formal methods
  • event driven
  • events occurring