ページ内の各所へジャンプします。
メインメニューへ
本文へ
フッターへ
  1. ホーム
  2. 会議・シンポジウム
  3. セミナー・講演会
  4. COEセミナー

COEセミナー

2007/12/11 COE セミナー : Combining Fault Injection with Unit Testing
2007/12/11 COE セミナー : Model Checking Networked Applications
2007/12/11 COE セミナー : The Calculus of Congruent Inductive Constructions
2007/07/26 COE セミナー : ソフトウェアアカウンタビリティの定義と実現
2007/07/26 COE セミナー : 科学プロセスの正確な定義と科学データの出所
2006/06/12-15 21世紀COEプログラム検証進化可能電子社会オープンセミナー : Domain Engineering
2006/03/22,24 COE セミナー : Vega Grid: Research Problems and Technical Advances (3/22)
Grid Research in China and Potential Cooperation with Japan (3/24)
2006/01/13 COE セミナー : プロセス形式化技術の集団的意思決定問題への適用と社会進化の過程
2005/12/01 COE セミナー : 第28回 ソフトウェア コロキウム : Communciating Processes: overview of theory and applications
2005/09/29 COE セミナー : Higher-Order Rewriting: Examples, Framework, Confluence and Termination
2005/07/26 COE セミナー : Time synchronization in wireless sensor network : スライド資料(PDFファイル)
2005/07/26 COE セミナー : Hierarchical Mobile IPv6 and Dynamic Hierarchy : スライド資料(PDFファイル)
2005/07/20 COE セミナー : Trusted Computing and Trustworthy Networks in Tsinghua University : スライド資料(PDFファイル)
2005/07/04-05 COE セミナー : Domain Engineering
2005/05/02 COE セミナー : Incremental Software Construction
2005/04/28 COE セミナー : ISO/IEC15408評価認証の概要とHEAL証拠資料の形式化
2005/04/27 COE セミナー : 産総研システム検証研究センター紹介