【博士論文】学術データベース

博士論文 - KOHAN Alexander - 千葉大学(理学) - Androidに於けるモデル検査

書誌事項

タイトル

Model Checking for Android

タイトル別名

Androidに於けるモデル検査

著者名

KOHAN Alexander

学位授与大学

千葉大学 = Chiba University (大学ID:0020)

取得学位

博士(理学)

学位授与番号

甲第5823号

学位授与年月日

2017-03-24

注記・抄録

研究科: 千葉大学大学院理学研究科(基盤理学専攻)

学位記番号: 博士(理学)

学位記番号: 千大院理博甲第理108号

各種コード

NII論文ID(NAID)

500001036761

NII著者ID(NRID)
  • 8000001139193
本文言語コード
  • eng
データ提供元
  • 機関リポジトリ (千葉大学)
  • NDLデジタルコレクション
KOHAN Alexander - 千葉大学(理学) - Androidに於けるモデル検査 - 博士論文 - プレビュー画像

千葉大学(理学) - 博士論文

理学 - 博士論文