Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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