 |
|
|
JAIST Repository >
開催：2007年3月6日～3月7日 開催場所：北陸先端科学技術大学院大学・知識講義棟２階中講義室
|
Recent Submissions極微細ＬＳＩのタイミング設計 : Timing Issues in Nanotechnology LSI Verification of Multi-Task Software Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||