今日確認した記事メモ

関心あるもののメモ書きですね。

「便利・快適・安全・安心な機器を実現するために（1/3） － ＠IT MONOist」
http://monoist.atmarkit.co.jp/fembedded/articles/embeddedsecurity2/05/embeddedsecurity2_05a.html

「組み込み分野へ急接近、リアルとシミュレーションをつなぐ（1/2） － ＠IT MONOist」
http://monoist.atmarkit.co.jp/fembedded/22ni/ni01.html

「VDMはソフトウェア開発でこう使う！ ～導入と運用のツボ～（1/3） － ＠IT MONOist」
http://monoist.atmarkit.co.jp/fembedded/articles/formalmethod/02/formalmethod02a.html