Sign in

A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications.

Min ZhangYunja ChoiKazuhiro Ogata
Published in: WRLA (2014)
Keyphrases
  • formal semantics
  • probabilistic model
  • knowledge base
  • logical framework
  • formal language
  • logical language