加藤 尚玄 | 沖電気工業株式会社
スポンサーリンク
概要
関連著者
-
加藤 尚玄
沖電気工業株式会社
-
繁田 好章
沖電気工業(株)
-
繁田 好章
沖電気工業株式会社
-
田中 亘
沖電気工業株式会社
-
田中 亘
沖電気工業
-
安藤 津芳
沖電気工業(株)
-
安藤 津芳
沖電気工業株式会社
-
上田 佳寛
沖電気工業株式会社
-
上田 佳寛
Atr通信システム研究所
-
長谷川 晴朗
沖電気工業(株)政策調査部
-
長谷川 晴朗
沖電気工業株式会社
-
長谷川 晴朗
沖電気工業
著作論文
- 通信ソフトウェアのテストにおけるMSCで記述された要求仕様のペトリネットを利用した意味検証と充足検証の方法 (コンカレント・コラボレーション技術論文小特集)
- 自動リグレッションテストの検証法
- クロス環境試験におけるメッセージ定義の効率化
- クロス環境における通信システムの回帰試験
- 通信SDL仕様シミュレータにおけるメッセージ送受時間について
- マルチエージェント協調プロトコルのコンカレントモデル
- マルチエージェント協調機構のペトリネットによるモデル化の一考察
- 通信システムの要求充足問題のペトリネットによるモデル化について