離散事象システム研究会講演論文集. 第44回

• Material Type: 図書
• Title: 離散事象システム研究会講演論文集
• Title Transcription: リサン ジショウ システム ケンキュウカイ コウエン ロンブンシュウ
• Volume: 第44回
• Author Heading: 計測自動制御学会 ケイソク ジドウ セイギョ ガッカイ ( 00259106 )Authorities
• Publication, Distribution, etc.: 東京 : 計測自動制御学会
• Publication Date: c2008
• Publication Date (W3CDTF): 2008
• Extent: 72p
• Size: 30cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: 自動制御--会議録 ジドウセイギョ カイギロク ( 00654383 )Authorities
• NDC 9th ed.: 548.3 : Information engineering
• NDLC: M131
• Target Audience: 一般
• Note (General): 会期・会場: 2008年12月19日 財団法人宮崎県婦人会館
• Note (Bibliography): 文献あり
• Holding library: 国立国会図書館
• Call No.: M131-J69
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000009984318; http://id.ndl.go.jp/bib/000009984318
• National Bibliography No. (JPNO): 21534208
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Contents: 「イベントプール」を持つ離散事象モデルに対する分岐型Kripke構造の生成法 / 高塚佳代子, 冨田重幸 著FMSの並列・資源選択型シーケンス構造に着目したプロセス・ロケーション・フローによるモデル化 / 工藤裕, 高橋宏治 著可変状態遷移確率を持つ切換え型ARXモデルの提案 / 奥田裕之, 稲垣伸...