著者

島津 明

巻号頁・発行日

pp.1-27, 2007-09-07

---

北陸先端科学技術大学院大学 21世紀COEシンポジウム「検証進化可能電子社会」 = JAIST 21st Century COE Symposium “Verifiable and Evolvable e-Society”, 開催:2007年9月6日~7日, 開催場所:キャンパス・イノベーションセンター東京 国際会議室(1F)