( en | de | ru )

 

Disambiguation of "du Bousquet, Lydie"

Author of the publication

copydeleteadd this publication to your clipboard
Improving Trace Generation and Analysis for Medical Devices.

, , , , , and . QRS Companion, page 599-600. IEEE, (2017)

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.

Lydie Delineau

Lydie Vamparys

Guillaume Bousquet

Lydie Belaud

Lydie Tuchbreiter

 

Other publications of authors with the same name

Telephony Feature Validation against Eventuality Properties and Interaction Detection based on a Statistical Analysis of the Time to Service., and . FIW, page 78-95. IOS Press, (2005)Using Formal Methods to increase confidence in one Home Network System implementation: Case study., , , and . ISoLA, volume RNTI-SM-1 of Revue des Nouvelles Technologies de l'Information, page 203-214. Cépaduès-Éditions, (2007)Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases., , and . CAiSE, volume 6051 of Lecture Notes in Computer Science, page 165-179. Springer, (2010)Assertion-based test oracles for home automation systems., , , , and . MOMPES, page 45-52. ACM, (2010)Selecting a software engineering tool: lessons learnt from mutation analysis., and . Softw. Pract. Exp., 45 (7): 875-891 (2015)Constructing Execution and Life-Cycle Models for Smart City Services with Self-Aware IoT., and . ICAC, page 289-294. IEEE Computer Society, (2015)Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required.. ICSEA, page 18. IEEE Computer Society, (2006)Using mutation analysis to evaluate test generation strategies in a synchronous context., and . ICSEA, page 40. IEEE Computer Society, (2007)Extending specification patterns for verification of parametric traces., , , and . FormaliSE@ICSE, page 10-19. ACM, (2018)Validation of UML Models Thanks to Z and Lustre., and . FME, volume 2021 of Lecture Notes in Computer Science, page 242-258. Springer, (2001)