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

情報なし

著者

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

出版社

近代科学社

発売日

2012年9月発売

価格

3,800円（税込・書誌情報提供：openBD）

ISBN

9784764904316

発売済み