Patricia Renault

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Publications

Abdelrezzak Bara, Pirouz Bazargan-Sabet, Remy Chevallier, Dominique Le Dû, Emmanuelle Encrenaz, Patricia Renault
Formal Verification of Timed VHDL Programs. FDL (2010)
Pirouz Bazargan-Sabet, Patricia Renault
An Event-Driven Approach to Crosstalk Noise Analysis. Annual Simulation Symposium (2003)
Patricia Renault, Pirouz Bazargan-Sabet, Dominique Le Dû
A MOS transistor model for peak voltage calculation of crosstalk noise. ICECS (2002)