Frédéric Béal

According to our database, Frédéric Béal authored at least 3 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

A Conservative Framework for Safety-Failure Checking.

Frédéric Béal, Tomohiro Yoneda, Chris J. Myers

IEICE Trans. Inf. Syst., 2008

Hazard Checking of Timed Asynchronous Circuits Revisited.

Frédéric Béal, Tomohiro Yoneda, Chris J. Myers

Fundam. Informaticae, 2008

2004

On the BDD of a Random Boolean Function.

Jean Vuillemin, Frédéric Béal

Proceedings of the Advances in Computer Science, 2004