Frédéric Béal

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Frédéric Béal, Tomohiro Yoneda, Chris J. Myers
A Conservative Framework for Safety-Failure Checking. IEICE Trans. Inf. Syst. (3) (2008)
Frédéric Béal, Tomohiro Yoneda, Chris J. Myers
Hazard Checking of Timed Asynchronous Circuits Revisited. Fundam. Informaticae 88 (4) (2008)
Frédéric Béal, Tomohiro Yoneda, Chris J. Myers
Hazard Checking of Timed Asynchronous Circuits Revisited. ACSD (2007)
Jean Vuillemin, Frédéric Béal
On the BDD of a Random Boolean Function. ASIAN (2004)