BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
osek (4)
applic (3)
base (2)
constraint (1)
checker (1)

Stem vdx$ (all stems)

4 papers:

ICSTICST-2015-ZhangAC #exclamation #model checking #verification
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications (HZ, TA, YC), pp. 1–10.
WRLAWRLA-2014-ZhangCO #framework #semantics #standard #𝕂
A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.
SEFMSEFM-2013-Choi #constraints #generative #operating system #specification #testing
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems (YC), pp. 305–319.
An application-based EDF scheduler for OSEK/VDX (CD, UM, FS, GW), pp. 1045–1050.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.