抽象化洗練を用いた時間確率システムに対する形式的検証手法 (アルゴリズムと計算理論の新展開)

清水, 隆也; 森下, 篤; 山根, 智

ダウンロード数: 112

http://hdl.handle.net/2433/173007

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1799-04.pdf		1.07 MB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	清水, 隆也	ja
dc.contributor.author	森下, 篤	ja
dc.contributor.author	山根, 智	ja
dc.contributor.alternative	Shimizu, Takaya	en
dc.contributor.alternative	Morimoto, Atsushi	en
dc.contributor.alternative	Yamane, Satoshi	en
dc.contributor.transcription	シミズ, タカヤ	ja
dc.contributor.transcription	モリモト, アツシ	ja
dc.contributor.transcription	ヤマネ, サトシ	ja
dc.date.accessioned	2013-04-02T06:00:34Z	-
dc.date.available	2013-04-02T06:00:34Z	-
dc.date.issued	2012-06	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/173007	-
dc.format.mimetype	application/pdf	-
dc.language.iso	jpn	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	抽象化洗練を用いた時間確率システムに対する形式的検証手法 (アルゴリズムと計算理論の新展開)	ja
dc.title.transcription	チュウショウカセンレンオモチイタジカンカクリツシステムニタイスルケイシキテキケンショウシュホウアルゴリズムトケイサンリロンノシンテンカイ	ja-Kana
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	1799	-
dc.identifier.spage	29	-
dc.identifier.epage	36	-
dc.textversion	publisher	-
dc.sortkey	04	-
dc.address	金沢大学大学院自然科学研究科	ja
dc.address	金沢大学大学院自然科学研究科	ja
dc.address	金沢大学理工研究域電子情報学系	ja
dc.address.alternative	Kanazawa U.	en
dc.address.alternative	Kanazawa U.	en
dc.address.alternative	Kanazawa U.	en
dcterms.accessRights	open access	-
出現コレクション:	1799 アルゴリズムと計算理論の新展開

アイテムの簡略レコードを表示する

Export to RefWorks

このリポジトリに保管されているアイテムはすべて著作権により保護されています。