PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ledru, Yves"

Author of the publication

copydeleteadd this publication to your clipboard
An Environment for the ParTraP Trace Property Language (Tool Demonstration).

, , , , , and . RV, volume 11237 of Lecture Notes in Computer Science, page 437-446. Springer, (2018)

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.

Yves Klett

 

Other publications of authors with the same name

Object oriented concepts identification from formal B specifications., and . Formal Methods in System Design, 30 (3): 217-232 (2007)Report on the Workshop on the State of the Art in Automated Software Engineering., and . ASE, page 307-. IEEE Computer Society, (2002)Tobias-Z: An executable formal specification of a test generator., and . ASE, page 353-354. IEEE Computer Society, (2006)Specification and Animation of a Bank Transfer using KIDS/VDM.. Autom. Softw. Eng., 4 (1): 33-51 (1997)Prioritizing test cases with string distances., , , and . Autom. Softw. Eng., 19 (1): 65-95 (2012)Helping Various Stakeholders to Understand a Very Large Component-Based Software., , and . EUROMICRO, page 104-. IEEE Computer Society, (2001)Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -., , , , and . FMICS, volume 11687 of Lecture Notes in Computer Science, page 93-109. Springer, (2019)B Formal Validation of ERTMS/ETCS Railway Operating Rules., , , , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 124-129. Springer, (2014)A Formalisation of the Soccer Substitution Rules.. ReMo2V, volume 241 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)An Overview of RoZ: A Tool for Integrating UML and Z Specifications., , and . CAiSE, volume 1789 of Lecture Notes in Computer Science, page 417-430. Springer, (2000)