UPPAALによる性能モデル検証: リアルタイムシステムのモデル化とその検証
詳しい情報
出版社: 近代科学社(2012-09-30)
ペーパーバック: 213 ページ / 18.2 x 1.2 x 23.3 cm
ISBN-10: 4764904314 ISBN-13: 9784764904316
NDC(9): 007.63
出版社: 近代科学社(2012-09-30)
ペーパーバック: 213 ページ / 18.2 x 1.2 x 23.3 cm
ISBN-10: 4764904314 ISBN-13: 9784764904316
NDC(9): 007.63