柴田 健一 | 筑波大学大学院ビジネス科学研究科
スポンサーリンク
概要
筑波大学大学院ビジネス科学研究科 | 論文
- モデル検査を用いた通信プロトコル二重化の検証(プロトコル,インターネット技術とその応用論文)
- モデル検査を用いた通信プロトコル二重化の設計と検証(インターネットアーキテクチャ,一般,インターネットセキュリティ,一般)
- Nuts : ホワイトボックスコンポーネントアーキテクチャ
- ベクターコンポーネント : コンポーネント結合による差分プログラミング
- Nuts-柔軟な部品間結合をサポートするコンポーネントアーキテクチャ