内海 裕洋 | 理研:Universitat Karlsruhe

スポンサーリンク

概要

• 同名の論文著者
• 理研:Universitat Karlsruheの論文著者

論文 | ランダム

• 拡張有限状態機械で記述された協調計算プログラムとその実行系
• 順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例
• 拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出
• 部分項の評価順が指定できる項書換え系とその性質について(計算機構とアルゴリズム)
• 代数的言語ASLを用いた酒屋在庫管理の要求仕様記述

もっと見る

スポンサーリンク