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 × France
1 × Germany
1 × Portugal
Collaborated with:
M.Frappier F.Gervais R.Laleau B.Fraikin M.E.Jiague P.Konopacki R.St.-Denis
Talks about:
translat (1) systemat (1) function (1) process (1) generat (1) express (1) automat (1) symbol (1) polici (1) messag (1)

Person: Jérémy Milhau

DBLP DBLP: Milhau:J=eacute=r=eacute=my

Contributed to:

ICEIS ISAS 20102010
IFM 20102010
IFM 20092009

Wrote 3 papers:

ICEIS-ISAS-2010-JiagueFGKLMS #functional #modelling #policy #security
Model-driven Engineering of Functional Security Policies (MEJ, MF, FG, PK, RL, JM, RSD), pp. 374–379.
Systematic Translation Rules from astd to Event-B (JM, MF, FG, RL), pp. 245–259.
IFM-2009-MilhauFF #automation #error message #execution #fault #generative #process #symbolic computation
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.

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.