■UPPAALによる性能ﾓﾃﾞﾙ検証 ﾘｱﾙﾀｲﾑｼｽﾃﾑのﾓﾃﾞﾙ化とその検証 (ﾄｯﾌﾟｴｽｲｰ実践講座)
■大須賀昭彦/監修 長谷川哲夫/著 田原康之/著 磯部祥尚/著
商品説明
実時間ｼｽﾃﾑ開発向けﾓﾃﾞﾙ検査ﾂｰﾙの標準UPPAALの日本初の解説書。組込みｼｽﾃﾑの仕様や設計のﾓﾃﾞﾘﾝｸﾞと、機能や性能に関するﾓﾃﾞﾙ検査、開発ﾌﾟﾛｾｽの設計のための実用書。
出荷:
ﾒｰｶｰ在庫見込あり:1-3週間
■
詳細ﾍﾟｰｼﾞ
■
ｼﾞｬｹｯﾄ画像
■
収録内容
商品検索
ﾍﾙﾌﾟ
TOP
OTOSHOP
powered by Neowing
