瀧内 新悟 | 金沢大学大学院自然科学研究科
スポンサーリンク
概要
関連著者
-
瀧内 新悟
金沢大学大学院自然科学研究科
-
山根 智
金沢大学大学院自然科学研究科電子情報工学専攻
-
山根 智
金沢大学自然科学研究科
-
山根 智
金沢大学自然科学研究科電子情報工学専攻
-
山根 智
金沢大学大学院自然科学研究科
-
山根 智
金沢大学工学部情報システム工学科
-
瀧内 新悟
金沢大学大学院自然科学研究科電子情報工学専攻
-
山根 智
金沢大学理工研究域電子情報学系
著作論文
- 組込みシステムのUML分析設計からタスク設計までの設計検証方法論(UML/開発方法論)
- 事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査
- 事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査(ディペンダブルコンピューティング)
- AS-4-3 制限付きストップウォッチオートマトンと時間オートマトンを用いた,プリエンプティブスケジューリングシステムのUML分析設計からタスク設計までの設計検証方法論(ソフトウェアのテストと検証,AS-4.組込みシステムの形式的手法,シンポジウム)