解析的意味論に基づく実時間プログラムシステム検証の研究

著者

• 水谷, 哲也 ミズタニ, テツヤ

書誌事項

解析的意味論に基づく実時間プログラムシステム検証の研究

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

[水谷哲也], 2001.3

タイトル読み

カイセキテキ イミロン ニ モトズク ジツジカン プログラム システム ケンショウ ノ ケンキュウ

注記

研究代表者: 水谷哲也

研究課題番号: 10680332

• NII書誌ID(NCID): BA5299484X
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: [つくば]
• ページ数/冊数: 1冊
• 大きさ: 30cm
• 親書誌ID:
  • BA30195401