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
Specification and Animation of a Bank Transfer using KIDS/VDM.

. Autom. Softw. Eng., 4 (1): 33-51 (1997)

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)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)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)Helping Various Stakeholders to Understand a Very Large Component-Based Software., , and . EUROMICRO, page 104-. IEEE Computer Society, (2001)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)B Formal Validation of ERTMS/ETCS Railway Operating Rules., , , , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 124-129. Springer, (2014)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)