Nakamura Masaki | Kanazawa Univ. Kanazawa‐shi Jpn
スポンサーリンク
概要
関連著者
-
Nakamura Masaki
Kanazawa Univ. Kanazawa‐shi Jpn
-
中村 正樹
金沢大学理工学域電子情報学類
-
中村 正樹
北陸先端科学技術大学院大学情報科学研究科
-
中村 正樹
金沢大学 理工学域 電子情報学類
-
Nakamura Masaki
School Of Electrical And Computer Engineering Kanazawa University
-
二木 厚吉
北陸先端科学技術大学院大学情報科学研究科
-
緒方 和博
北陸先端科学技術大学院大学情報科学研究科
-
緒方 和博
北陸先端科学技術大学院大学
-
中村 正樹
富山県立大学工学部
-
山口 真悟
山口大学
著作論文
- AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- AS-3-3 代数仕様に基づく実時間システムの検証(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- OTS/CafeOBJ法に基づく並行システムの実装とテスト生成(コンカレントシステム,離散事象システム及び一般)
- RB-003 An algebraic specification of message passing programming languages
- CafeOBJ入門(6) : 通信プロトコルの検証
- CafeOBJ入門(5) : 認証プロトコルの検証
- CafeOBJ入門(4) : 証明譜による検証法(エージェント)
- CafeOBJ入門(3) : 等式推論と項書換システム
- Maude : 書換え論理に基づく計算機言語および処理系(ソフトウェア紹介)
- CafeOBJ入門(2) : 構文と意味