![]() | ![]() |
2008 | ||
---|---|---|
4 | EE | Frédéric Béal, Tomohiro Yoneda, Chris J. Myers: Hazard Checking of Timed Asynchronous Circuits Revisited. Fundam. Inform. 88(4): 411-435 (2008) |
3 | EE | Frédéric Béal, Tomohiro Yoneda, Chris J. Myers: A Conservative Framework for Safety-Failure Checking. IEICE Transactions 91-D(3): 642-654 (2008) |
2007 | ||
2 | EE | Frédéric Béal, Tomohiro Yoneda, Chris J. Myers: Hazard Checking of Timed Asynchronous Circuits Revisited. ACSD 2007: 51-60 |
2004 | ||
1 | EE | Jean Vuillemin, Frédéric Béal: On the BDD of a Random Boolean Function. ASIAN 2004: 483-493 |
1 | Chris J. Myers | [2] [3] [4] |
2 | Jean Vuillemin | [1] |
3 | Tomohiro Yoneda | [2] [3] [4] |