---

UPPAAL ニ ヨル セイノウ モデル ケンショウ : リアル タイム システム ノ モデルカ ト ソノ ケンショウ
UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 / 長谷川哲夫, 田原康之, 磯部祥尚著
(トップエスイー実践講座 ; 5)

データ種別	図書
著者標目	長谷川, 哲夫 <ハセガワ, テツオ> 田原, 康之 <タハラ, ヤスユキ> 磯部, 祥尚 <イソベ, ヨシナオ> 大須賀, 昭彦(1958-) <オオスガ, アキヒコ>
出版情報	東京 : 近代科学社 , 2012.9

 類似資料