Travelled to:
1 × Germany
Collaborated with:
G.F.Bouesse M.Renaudin F.Germain
Talks about:
asynchron (1) insensit (1) circuit (1) improv (1) formal (1) quasi (1) delay (1) dpa (1)
Person: Sophie Dumont
DBLP: Dumont:Sophie
Contributed to:
Wrote 1 papers:
- DATE-2005-BouesseRDG #formal method
- DPA on Quasi Delay Insensitive Asynchronous Circuits: Formalization and Improvement (GFB, MR, SD, FG), pp. 424–429.