代数仕様アプローチによる制的モデル検査手法の研究
Author(s)
Bibliographic Information
代数仕様アプローチによる制的モデル検査手法の研究
(科学研究費補助金(基盤研究C)研究成果報告書, 平成17年度~平成19年度)
[国立情報学研究所], 2008.6
- Title Transcription
-
ダイスウ シヨウ アプローチ ニヨル セイテキ モデル ケンサ シュホウ ノ ケンキュウ
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
課題番号: 17500028