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 × Italy
1 × USA
Collaborated with:
M.Perin J.Provost J.Roussel T.Lemattre B.Denis J.Pétin P.Salaün
Talks about:
system (2) architectur (1) manufactur (1) reachabl (1) abstract (1) grafcet (1) discret (1) control (1) analysi (1) specif (1)

Person: Jean-Marc Faure

DBLP DBLP: Faure:Jean=Marc

Contributed to:

CASE 20132013
CASE 20112011

Wrote 3 papers:

CASE-2013-PerinF #automation #modelling
Comparing detailed and abstract timed models of automated discrete manufacturing systems (MP, JMF), pp. 916–923.
CASE-2011-LemattreDFPS #analysis #architecture #design #reachability
Designing operational control architectures of critical systems by reachability analysis (TL, BD, JMF, JFP, PS), pp. 12–18.
CASE-2011-ProvostRF #semantics #specification
A formal semantics for Grafcet specifications (JP, JMR, JMF), pp. 488–494.

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.