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

資料種別:
電子ブック
責任表示:
長谷川哲夫, 田原康之, 磯部祥尚著
言語:
日本語
出版情報:
近代科学社, 2012.9
形態:
1オンラインリソース ; 24cm
著者名:
シリーズ名:
トップエスイー実践講座 ;
書誌ID:
RB00781009
ISBN:
9784764971561 [4764971569] (: electronic bk)  CiNii Books  Webcat Plus  Google Books
9783000052408 [3000052402]  CiNii Books  Webcat Plus  Google Books
eリソース
Loading
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

萩谷 昌己, 吉岡 信和, 青木 利晃, 田原 康之

近代科学社

田中 譲, 磯部 祥尚, 粂野 文洋, 桜庭 健年, 田口 研治, 田原 康之

近代科学社

中島, 震(1955-), 來間, 啓伸

近代科学社

中島, 震(1955-)

近代科学社

10 電子ブック サルでもわかるGit入門

大串, 肇, アクツ, ユミ, 一戸, 健宏, 兼清, 慮子, 齋木, 弘樹, 清野, 奨, 福嶌, 隆浩, ヌーラボ

インプレス

佐藤, 司, 冨永, 善視, 森元, 敏雄

インプレス

産業技術総合研究所システム検証研究センター

エヌ・ティー・エス

Ben-Ari, M., 1948-, 谷津, 弘一, 野中, 哲, 足立, 太郎, 中島, 震(1955-)

オーム社