1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 1599 理論計算機科学の深化 : 新たな計算世界観を求めて
このアイテムのアクセス数: 304

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/81803
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1599-01.pdf1.03 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author瀧内, 新悟ja
dc.contributor.author山根, 智ja
dc.contributor.alternativeTakinai, Shingoen
dc.contributor.alternativeYamane, Satoshien
dc.contributor.transcriptionタキナイ, シンゴja
dc.contributor.transcriptionヤマネ, サトシja
dc.date.accessioned2009-07-24T00:25:10Z-
dc.date.available2009-07-24T00:25:10Z-
dc.date.issued2008-05-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/81803-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleストップウォッチオートマトンによるプリエンプティブスケジューリングの仕様記述と有界モデル検査 (理論計算機科学の深化 : 新たな計算世界観を求めて)ja
dc.title.alternativeSpecification and Bounded Model Checking for Preemptive Scheduling Systems Using Stopwatch Automata : Extended Abstract (Foundations of Theoretical Computer Science : For New Computational View)en
dc.title.transcriptionストップウォッチ オートマトン ニ ヨル プリエンプティブ スケジューリング ノ シヨウ キジュツ ト ユウカイ モデル ケンサ リロン ケイサンキ カガク ノ シンカ アラタナ ケイサン セカイカン オ モトメテja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1599-
dc.identifier.spage1-
dc.identifier.epage8-
dc.textversionpublisher-
dc.sortkey01-
dc.address金沢大学自然科学研究科ja
dc.address金沢大学自然科学研究科ja
dc.address.alternativeGraduate School of Natural Science, Kanazawa Universityen
dc.address.alternativeGraduate School of Natural Science, Kanazawa Universityen
dcterms.accessRightsopen access-
出現コレクション:1599 理論計算機科学の深化 : 新たな計算世界観を求めて

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

Export to RefWorks


出力フォーマット 


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