時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援

Author(s)

Bibliographic Information

時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援

研究代表者 山根智

（科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成11年度～平成13年度）

[山根智], 2002.3

Title Transcription

ジソウ ロンリ ト ヘイコウ ケイサン オートマトン ノ トウゴウカ ニ ヨル ジリツセイ ノ アル ブンサン システム ノ セッケイ シエン

Available at  / 1 libraries

Search this Book/Journal

Note

課題番号 : 11680360

Related Books： 1-1 of 1

Details

  • NCID
    BA61897185
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    [金沢]
  • Pages/Volumes
    105p
  • Size
    30cm
  • Parent Bibliography ID
Page Top