Author of the publication

Assessment of a Formal Requirements Modeling Approach on a Transportation System.

, , , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 470-486. Springer, (2019)

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

Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications., , , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 55-70. Springer, (2018)Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions., , , , and . IFM, volume 11023 of Lecture Notes in Computer Science, page 377-397. Springer, (2018)Assessment of a Formal Requirements Modeling Approach on a Transportation System., , , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 470-486. Springer, (2019)A Formal Requirements Modeling Approach: Application to Rail Communication., , , , and . ICSOFT, page 170-177. SciTePress, (2019)Vers une approche formelle d'ingénierie des exigences outillée et éprouvée. (Towards a tool-supported and proven formal requirements engineering method).. Université de Sherbrooke, Quebec, Canada, (2019)Back Propagating B System Updates on SysML/KAOS Domain Models., , , and . ICECCS, page 160-169. IEEE Computer Society, (2018)Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach., , , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 262-276. Springer, (2018)An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard., , , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 353-366. Springer, (2018)The Generic SysML/KAOS Domain Metamodel., , , , and . CoRR, (2018)