田畑 智継 | 徳島大学大学院ヘルスバイオサイエンス研究部臓器病態治療医学

スポンサーリンク

概要

• 山田 博胤の詳細を見る
• 同名の論文著者
• 徳島大学大学院ヘルスバイオサイエンス研究部臓器病態治療医学の論文著者

論文 | ランダム

• モデル検査器を用いた自動検針システムの仕様検証
• プッシュダウンシステムの拡張およびそのモデル検査法
• モデル検査技術を利用したプログラム解析器の生成ツール
• 離散確率分布を持つリアルタイムシステムの詳細化検証手法(検証/テストとデバッグ)
• ペトリネットに対する充足可能性判定を利用した検証手法の提案(コンカレント工学一般)

もっと見る

スポンサーリンク