Formal Method Europe(FME)2001参加報告
スポンサーリンク
概要
- 論文の詳細を見る
- 2001-07-16
著者
関連論文
- 仮想ネットワーク技術を用いたキャンパスネットワークの設計と構築 (インターネットアーキテクチャ)
- 仮想ネットワーク技術を用いたキャンパスネットワークの設計と構築 (技術と社会・倫理)
- NAREGIグリッドミドルウェアによる大規模連携接続実証実験(OS-6:分散システム,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 仮想ネットワーク技術を用いたキャンパスネットワークの設計と構築(システム構築技術2,インターネットと情報倫理教育,一般)
- 仮想ネットワーク技術を用いたキャンパスネットワークの設計と構築(システム構築技術2,インターネットと情報倫理教育,一般)
- e-サイエンス基盤としての計算機センターPOP(Point-of-Presence)連携
- PoP(Point of Presence)によるe-サイエンスリソース連携(研究発表,ネットワーク研究開発テストベッド運用・利用,一般)
- e-サイエンス基盤としての計算機センターPOP (Point-of-Presence) 連携
- Formal Method Europe(FME)2001参加報告
- 初等的でないフレームを持つ様相論理の統一化による証明法
- 無線LANにおけるセキュリティ技術の動向
- SSLとリレーサーバを用いたPOP before SMTPのセキュアな実現法
- 合成可能なタブローによる仕様の差分的無矛盾性判定について (プログラム変換と記号・数式処理)
- 欠陥仕様からの修正情報抽出に関する研究
- 合成可能な時間論理タブローの構成法
- 時相論理による仕様記述の無矛盾性判定のための再利用可能なタブローについて
- 時相論理によるリアクティブシステム仕様の実現可能性に関する分類 (21世紀のソフトウェア工学)