View article

Jeremy Sproston

2001

PhD thesis, School of Computer Science, University of Birmingham

Model checking for probabilistic timed and hybrid systems | CiNii Research CiNii 国立情報学 研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学 図書館の本をさがす 日本の博士論文をさがす English 検索 タイトル 人物/団体名 所属機関 ISSN DOI 期間 ~ 本文リンク 本文リンクあり データソース JaLC IRDB Crossref DataCite NDL NDL-Digital RUDA JDCat NINJAL CiNii Articles CiNii Books CiNii Dissertations DBpedia Nikkei BP KAKEN Integbio MDR PubMed LSDB Archive 公共データカタログ ムーンショット型研究開発事業 すべて 研究データ 論文 本 博士論文 プロジェクト [2023年10月31日掲載]CiNii Dissertations及びCiNii BooksのCiNii Researchへの統合について Model checking for probabilistic timed and hybrid systems 被引用文献1件 SPROSTON J. 収録刊行物 PhD thesis, School of Computer Science, University of Birmingham PhD thesis, School of Computer Science, University of Birmingham …