2008-03-10から1日間の記事一覧
今日は朝早かったので早めに切り上げて、ちょっと本屋さんへ。 組込みプレスはVol.10。”祝”のマーク。形式手法の車載シスエムへの応用が目に留まったため購入。なお、帰ってから読んだら、Promelaという構文を利用しているみたい。ちょっと良く調べてみない…
今日は朝早かったので早めに切り上げて、ちょっと本屋さんへ。 組込みプレスはVol.10。”祝”のマーク。形式手法の車載シスエムへの応用が目に留まったため購入。なお、帰ってから読んだら、Promelaという構文を利用しているみたい。ちょっと良く調べてみない…