博士論文 - 学術データベース

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

  1. 千葉大学 (11142)
  2. 博士(理学) (637)
  3. KOHAN Alexander

この論文にアクセスする

書誌事項

タイトル

Model Checking for Android

タイトル別名

Androidに於けるモデル検査

著者名

KOHAN Alexander

学位授与大学

千葉大学

取得学位

博士(理学)

学位授与番号

甲第5823号

学位授与年月日

2017-03-24

注記・抄録

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

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

プレビュー画像

KOHAN Alexander - 千葉大学 博士(理学) - Androidに於けるモデル検査 - 博士論文 - プレビュー画像

各種コード

NII論文ID(NAID)
500001036761
NII著者ID(NRID)
  • 8000001139193
本文言語コード
  • eng
大学ID

0020

データ提供元
  • 機関リポジトリ
  • NDLデジタルコレクション

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

博士論文をもっと見る

大学

大学をもっと見る

学位

学位をもっと見る