( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formally Checking Large Data Sets in the Railways

, , и . CoRR, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Emmanuel Lecomte

Florence Lecomte

Henri Lecomte

Steve Lecomte

Sylvain Lecomte

 

Другие публикации лиц с тем же именем

Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16)., , и . NII Shonan Meet. Rep., (2018)The First Twenty-Five Years of Industrial Use of the B-Method., , , , , , и . FMICS, том 12327 из Lecture Notes in Computer Science, стр. 189-209. Springer, (2020)The Bourgeois Gentleman, Engineering and Formal Methods.. CoRR, (2020)Applying a Formal Method in Industry: A 25-Year Trajectory., , , и . SBMF, том 10623 из Lecture Notes in Computer Science, стр. 70-87. Springer, (2017)Safe and Reliable Metro Platform Screen Doors Control/Command Systems.. FM, том 5014 из Lecture Notes in Computer Science, стр. 430-434. Springer, (2008)Formal Virtual Modelling and Data Verification for Supervision Systems.. FM, том 9109 из Lecture Notes in Computer Science, стр. 597-600. Springer, (2015)A hardware/software codesign framework for developing complex embedded systems using formal model refinement., , , и . FDL, стр. 598-612. ECSI, (2004)Programming the CLEARSY Safety Platform with B.. ABZ, том 12071 из Lecture Notes in Computer Science, стр. 124-138. Springer, (2020)The CLEARSY safety platform: 5 years of research, development and deployment., , , и . Sci. Comput. Program., (2020)Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems., , , и . Formal Aspects Comput., 35 (1): 1:1-1:2 (марта 2023)