スポンサーリンク
Atr通信システム研究所 | 論文
- インバリアントおよびサイフォンの効率的な検出アルゴリズムについて
- コンカレントシステムの仕様検証手法
- ソフトウェアメトリックスを導入するソフトウェア開発支援手法
- ソフトウェアメトリックスを利用する統合的開発支援環境の構築法
- ソフトウェアメトリックスを導入する通信ソフトウェア開発支援手法
- コンカレント工学の技術を利用するソフトウェアの計量化についての一考察
- 端末数に非依存となる通信サービスの状態の最大数について
- Coloured Petri Netsに基づいた通信サービス要求仕様化支援
- 通信と放送の今後について
- 通信サービス要求記述における視点と概念
- 情報通信技術と都市生活 (先端技術と都市生活)
- 高度INモデルにおける呼とコネクションの分離に関する考察
- B-ISDNにおける高度INの呼・コネクション制御範囲に関する一考察
- マルチコネクションに対応した広帯域高度INコールモデル
- 通信サービスに対する要求理解に関する一検討率
- 通信システムにおける設計仕様の統合方式の一考察
- 広域状態遷移規則を用いた通信サービス仕様記述における可到達解析
- 通信システム仕様の高速検証方式
- 通信ソフトウェア仕様の検証に関する課題
- 広域状態遷移ルールの述語的解釈による可到達判定