Login / Signup

Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics.

Tamás TóthAndrás Vörös
Published in: SAFECOMP Workshops (2014)
Keyphrases
  • real time
  • database
  • formal semantics
  • modelling language
  • safety critical
  • machine learning
  • low cost
  • decision support system
  • regulatory requirements