Login / Signup

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3.

Michael J. ButlerDana DghaymThai Son HoangTope OmitolaColin F. SnookAndreas FellnerRupert SchlickThorsten TarrachTomas FischerPeter Tummeltshammer
Published in: ICECCS (2019)
Keyphrases
  • formal model
  • knowledge based systems
  • formal models
  • design process
  • security properties
  • case study
  • higher level
  • rapid development
  • database
  • software engineering
  • probabilistic knowledge