岡田 康治 | 電子技術総合研究所 情報アーキテクチャ部
スポンサーリンク
概要
関連著者
-
岡田 康治
電子技術総合研究所 情報アーキテクチャ部
-
前田 誠
九州工業大学大学院情報工学研究院システム創成情報工学研究系
-
高橋 薫
東北大
-
高橋 薫
東北大学
-
高橋 薫
東北大学電気通信研究所
-
奥村 薫
Microsoft Corporation
-
内山 光一
(株)東芝
-
岡田 康治
電総研
-
内山 光一
東芝
-
奥村 薫
日本IBM
-
小野 昌秀
沖
-
五ノ井 敏行
富士通
-
藤尾 光彦
シャープ
-
藤田 朋生
日本電気
-
前田 誠
日立
-
藤尾 光彦
九州工業大学大学院情報工学研究院システム創成情報工学研究系
-
藤田 朋生
日本電気株式会社
-
藤尾 光彦
九州工大
-
前田 誠
九州工業大学
-
二木 厚吉
電総研
-
岡田 康冶
電子技術総合研究所 情報アーキテクチャ部
-
岡田 康治
電聡研・ソフトウェア部
-
岡田 康治
電総研・ソフトウェア部
著作論文
- LOTOSによるCCRサービス定義の形式記述 : データ型部 : INTAP研究開発委貝会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : プロセス部 : INTAP研究開発委員会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG
- 時間表現を含む分散システムの仕様記述法とそのテストの実現
- 形式仕様技術に基づく相互運用性試験について
- 代数型言語によるプロトコルの形式仕様記述 (電子計算機相互運用デ-タベ-スシステム)
- Estelle言語の特質と処理系の現状と動向 (通信システムの形式記述技法の標準化)
- 階層的仕様言語HISP に基づく変換法プログラミング (プログラム設計技法)
- 82-15 プログラム開発の形式的な取り扱い
- 81-06 設計シールとしての形式的仕様
- 節展開法を用いた論理関数の主項の生成