つれづれなる技術屋日記

しがない技術屋。専門は情報工学で、「つれづれ技術屋」って呼んで。

2008-03-10から1日間の記事一覧

「組込みプレス」形式手法、「プロセス改善ナビゲーションガイド ベストプラクティス編」

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

©2005-2022 ほんだ事務所(honda-jimusyo) All rights reserved.