CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

算譜科学研究速報 (テクニカルレポート)

CVSでは、テクニカルレポートの他、書籍も出版しております。こちらもご覧ください。


  2010年   2009年   2008年   2007年   2006年   2005年   2004年   2002年   2001年

2003年

PS-2003-007
田辺良則、高井利憲、高橋孝一
抽象化を用いた検証ツールの調査
2003年 12月 [PDF]pdf 566KB

PS-2003-006
Hitoshi Furusawa
The Categories of Kleene Algebras, Action Algebras and Action Lattices are Related by Adjunctions
2003年6月

PS03-005
早水公二、篠崎孝一、高橋孝一、渡邊宏
モデル検査器を用いた自動検針システムの仕様検証
2003年 6月 [PDF] pdf本文(82KB) [PDF] pdf付属書1(31KB) [PDF]pdf 付属書2(223KB) [PDF]pdf 付属書3(87KB)

PS-2003-004
木下佳樹
第二種基礎研究の方法
2003年 3月 [PDF]pdf 62KB

PS-2003-003
大崎人士、木下佳樹、、高井利憲、高橋孝一
科学技術振興調整費流動促進研究制度 暗号通信手順の安全性自動検証技術に関する研究成果報告書
2003年 3月

PS-2003-002
木下佳樹
情報産業とシステム検証
2003年 2月 [PDF]pdf 161KB

PS-2003-001
Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai
Recognizable A-Tree Languages are Boolean Closed
2003年1月 [PDF] pdf345KB


産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2010 AIST Research Center for Verification and Semantics, All Rights Reserved.