BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (2)
specif (1)
base (1)
mechan (1)
mission (1)

Stem assl$ (all stems)

2 papers:

SEFMSEFM-2011-VassevH #case study #experience #model checking
Developing Model-Checking Mechanisms for ASSL: An Experience Report (EV, MH), pp. 19–34.
SACSAC-2008-VassevHP #specification #towards
Towards an ASSL specification model for NASA swarm-based exploration missions (EV, MH, JP), pp. 1652–1657.

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.