Login / Signup

Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3.

Dana DghaymMichael PoppletonColin F. Snook
Published in: ABZ (2018)
Keyphrases
  • levels of abstraction
  • formal models
  • machine learning
  • learning environment
  • higher level