( en | de | ru )

 

Disambiguation of "Pierre, Laurence"

Author of the publication

copydeleteadd this publication to your clipboard
A requirement driven testing method for multi-disciplinary system design.

, , and . MoDELS, page 396-405. ACM, (2016)

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.

Laurence Lapopin

Laurence Germond

Laurence Vidrascu

Laurence Tricot

Laurence Clark

 

Other publications of authors with the same name

A requirement driven testing method for multi-disciplinary system design., , and . MoDELS, page 396-405. ACM, (2016)Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests., , and . FDL, page 5-16. IEEE, (2018)Dynamic Verification of SystemC Transactional Models, and . Model-based testing for embedded systems, CRC Press, Boca Raton, (2011)Mechanical Verification of Hypercube Algorithms., and . IPDPS, IEEE Computer Society, (2002)Theorem proving techniques for the formal verification of NoC communications with non-minimal adaptive routing., , and . DDECS, page 221-224. IEEE Computer Society, (2010)A Mixed Verification Strategy Tailored for Networks on Chip., and . NOCS, page 161-168. IEEE Computer Society, (2012)Formal verification of behavioral VHDL specifications: a case study., and . EURO-DAC, page 560-565. IEEE Computer Society, (1994)Runtime Verification of Typical Requirements for a Space Critical SoC Platform., , , , and . FMICS, volume 6959 of Lecture Notes in Computer Science, page 21-36. Springer, (2011)Towards a toolchain for assertion-driven test sequence generation.. FDL, page 82-89. IEEE, (2015)A Design Flow for Critical Embedded Systems., , , , , , , , , and . SIES, page 229-233. IEEE, (2010)