長谷川 晴朗 | 沖電気工業株式会社

スポンサーリンク

概要

• 長谷川 晴朗の詳細を見る
• 同名の論文著者
• 沖電気工業株式会社の論文著者

関連著者

• 長谷川 晴朗

  沖電気工業(株)政策調査部

• 長谷川 晴朗

  沖電気工業株式会社

• 長谷川 晴朗

  沖電気工業

• 長谷川 晴朗

  沖電気工業(株)

• 中島 俊介

  沖通信システム(株)

• 中島 俊介

  沖通信システム株式会社技術推進部

• 長谷川 隆三

  (財)新世代コンピュータ技術開発機構

• 福澤 俊幸

  沖電気工業(株)

• 安藤 津芳

  沖電気工業(株)

• 福澤 俊幸

  沖電気工業株式会社通信ネットワーク事業本部

• 田口 毅

  沖電気工業(株)

• 安藤 津芳

  沖電気工業株式会社

• 田中 亘

  沖電気工業株式会社

• 田中 亘

  沖電気工業

• 上田 佳寛

  沖電気工業株式会社

• 菊地 奈穂美

  沖電気工業(株)

• 菊地 奈穂美

  沖電気工業株式会社

• 柴田 健次

  Atr通信システム研究所

• 葭谷 努

  沖通信システム(株)

• 繁田 好章

  沖電気工業(株)

• 前田 賢一

  沖電気工業(株)

• 加藤 尚玄

  沖電気工業株式会社

• 鹿野 正太

  沖電気工業(株)

• 上田 佳寛

  Atr通信システム研究所

• 柴田 健次

  沖電気工業(株)

• 湯山 さつき

  沖電気工業(株)

• 鹿野 正太

  沖電気工業株式会社

• 繁田 好章

  沖電気工業株式会社

もっと見る 閉じる

著作論文

• GHCプログラムの検証と性能評価
• 制約論理型言語を用いたプランニングの記述
• 並列プログラムの動作評価に関する一検討
• 通信ソフトウェアのテストにおけるMSCで記述された要求仕様のペトリネットを利用した意味検証と充足検証の方法 (コンカレント・コラボレーション技術論文小特集)
• ペトリネットによる並列プログラムの動作解析に関する一考察
• 中間言語にペトリネットを用いたSDL仕様設計の一方式
• Coloured Petri Netsに基づいた通信サービス要求仕様化支援
• 通信システムにおける設計仕様の統合方式の一考察
• 通信ソフトウェアの開発環境
• 定理証明に基づくプロトコルの設計支援
• ぺトリネットによる変換 SDL 仕様の検証方式
• AP-2-3 製品開発プロセスにおけるコンカレント工学への期待(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
• コンカレントシステムの仕様記述法について
• 通信ソフトウェア設計支援システムにおけるSDLを用いたプロセス設計に関する一考察

もっと見る 閉じる

スポンサーリンク