BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Uruguay
Collaborated with:
M.Hinchey J.Paquet
Talks about:
model (2) assl (2) mission (1) develop (1) toward (1) specif (1) report (1) mechan (1) explor (1) experi (1)

Person: Emil Vassev

DBLP DBLP: Vassev:Emil

Contributed to:

SEFM 20112011
SAC 20082008

Wrote 2 papers:

SEFM-2011-VassevH #case study #experience #model checking
Developing Model-Checking Mechanisms for ASSL: An Experience Report (EV, MH), pp. 19–34.
SAC-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.