スポンサーリンク
Institut National Polytechnique De Grenoble/csi | 論文
- ASYL-SdF: A Synthesis Tool for Dependability in Controllers (Special Issue on Synthesis and Verification of Hardware Design)
- Analysis of the Trends in Logic Synthesis (Special Issue on Synthesis and Verification of Hardware Design)