2026-03-12T17:38:46Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00151449 2025-01-20T15:56:04Z 8512:8657:8658:8547:8548

B-030 待ち行列理論による抽象化を用いたモデル検査手法の検討(テスト・検証・解析,B分野:ソフトウェア) B-030 Study of Model Checking by Using Abstraction Based on Queueing Theory 大林, 浩気 長野, 岳彦 茂岡, 知彦 Ohbayashi, Hiroki Nagano, Takehiko Shigeoka, Tomohiko 情報処理学会 2012-09-04 jpn conference paper https://ipsj.ixsq.nii.ac.jp/records/151449 AA1242354X 情報科学技術フォーラム講演論文集 11 1 239 240 https://ipsj.ixsq.nii.ac.jp/record/151449/files/KJ00008742375.pdf application/pdf 358.1 kB 2012-09-04