磯辺 祥尚 | 電子技術総合研究所 情報アーキテクチャ部

スポンサーリンク

概要

• 同名の論文著者
• 電子技術総合研究所 情報アーキテクチャ部の論文著者

関連著者

• 佐藤 豊

  電子技術総合研究所情報アーキテクチャ部

• 大蒔 和仁

  電子技術総合研究所

• 磯辺 祥尚

  電子技術総合研究所 情報アーキテクチャ部

• 佐藤 豊

  電子技術総合研究所 情報アーキテクチャ部

• 佐藤 豊

  電子技術総合研究所

• 大蒔 和仁

  電総研

• 大蒔 和仁

  産業技術総合研究所

• 大蒔 和仁

  電子技術総合研究所情報アーキテクチャ部

著作論文

• 離接演算子をもつLOTOS仕様における偶発性
• 離接演算子をもつLOTOS仕様における偶発性
• 準弱双模倣性をもとにした仕様の段階的合成方法

スポンサーリンク