■
UPPAALによる性能ﾓﾃﾞﾙ検証 ﾘｱﾙﾀｲﾑｼｽﾃﾑのﾓﾃﾞﾙ化とその検証 (ﾄｯﾌﾟｴｽｲｰ実践講座)
(単行本･ﾑｯｸ)
■
大須賀昭彦/監修 長谷川哲夫/著 田原康之/著 磯部祥尚/著
■
著者･出版社
拡大する
本/雑誌
1
冊
送料無料選択可
商品説明：
実時間ｼｽﾃﾑ開発向けﾓﾃﾞﾙ検査ﾂｰﾙの標準UPPAALの日本初の解説書。組込みｼｽﾃﾑの仕様や設計のﾓﾃﾞﾘﾝｸﾞと、機能や性能に関するﾓﾃﾞﾙ検査、開発ﾌﾟﾛｾｽの設計のための実用書。
ﾍﾟｰｼﾞ数:183
商品番号:NEOBK-1357850
ISBN:9784764904316
商品検索
ﾍﾙﾌﾟ
TOP
OTOSHOP
powered by Neowing
