本ページはアフィリエイト広告を含みます

UPPAALによる性能モデル検証 = Performance Model Verification by UPPAAL : リアルタイムシステムのモデル化とその検証

大須賀昭彦, 長谷川哲夫, 田原康之, 本位田真一

出版社: 近代科学社
発売日: 2012-09-01
ISBN: 9784764904316

詳細はこちらから

Amazonで見る

シェアする

みんなのレビュー

まだ評価がありません。

まだレビューがありません。