組込みプレス Vol.10作者: 組込みプレス編集部出版社/メーカー: 技術評論社発売日: 2008/02/22メディア: 大型本 クリック: 5回この商品を含むブログ (3件) を見る特集記事に「形式手法」が取り上げられていたので購入。モデル検査の適用例が紹介されていたけ…