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
Travelled to:
1 × Finland
1 × Norway
Collaborated with:
∅
Talks about:
system (2) supervis (1) platform (1) virtual (1) reliabl (1) control (1) command (1) screen (1) formal (1) verif (1)

Person: Thierry Lecomte

DBLP DBLP: Lecomte:Thierry

Contributed to:

FM 20152015
FM 20082008

Wrote 2 papers:

FM-2015-Lecomte #modelling #verification
Formal Virtual Modelling and Data Verification for Supervision Systems (TL), pp. 597–600.
FM-2008-Lecomte #framework #platform #reliability
Safe and Reliable Metro Platform Screen Doors Control/Command Systems (TL), pp. 430–434.
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.