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: Vassev:Emil
Contributed to:
2011
2008Wrote 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.