Login / Signup
A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications.
Min Zhang
Yunja Choi
Kazuhiro Ogata
Published in:
WRLA (2014)
Keyphrases
</>
formal semantics
probabilistic model
knowledge base
logical framework
formal language
logical language