BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
F.Durán A.Moreno-Delgado
Talks about:
model (2) statist (1) languag (1) specif (1) motion (1) domain (1) check (1)

Person: José M. Álvarez-Palomo

DBLP DBLP: =Aacute=lvarez-Palomo:Jos=eacute=_M=

Contributed to:

FASE 20162016

Wrote 1 papers:

FASE-2016-DuranMA #domain-specific language #model checking #modelling #statistics
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages (FD, AMD, JMÁP), pp. 305–322.
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.