清水 敏彦 | 日本ユニシス(株)生産技術部
スポンサーリンク
概要
関連著者
-
佐藤 嘉一
沖電気工業(株)コンピュータシステム開発本部
-
大蒔 和仁
電子技術総合研究所
-
辻 宏郷
三菱電機(株)情報システム研究所
-
辻 宏郷
三菱電機(株)情報電子研究所
-
清水 敏彦
日本ユニシス
-
板橋 吉徳
松下電器産業
-
辻 宏郷
静岡大学大学院理工学研究科|三菱電機株式会社情報技術総合研究所
-
板橋 吉徳
松下電器産業株式会社
-
清水 敏彦
日本ユニシス(株)生産技術部
-
山中 顕次郎
株式会社NTTデータ技術開発本部
-
山中 顕次郎
Ntt ソフトウェア研
-
大蒔 和仁
電総研
-
佐藤 喜一
沖電気工業
-
山中 顕次郎
日本電気電話
-
山中 顕次郎
日本電信電話(株)NTTソフトウェア研究所
-
山中 顕次郎
NTTソフトウェア研究所
-
辻 宏郷
三菱電機 情報技総研
著作論文
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(3) : 抽象データ記述の処理[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(2) : 中間言語 Arbalotos[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 国際標準に基づく形式的仕様記述LOTOSの支援環境(1) : 設計概要[INTAP研究開発委員会プロトコル形式記述WG]