状態遷移モデルに基づく設計と検証

組込みソフトウェア技術コンソーシアムの組込みシステム開発コースのひとつとして「状態遷移モデルに基づく設計と検証」というタイトルで講義・演習を実施しました。CATS株式会社のZIPCを使って,市販のストップウォッチのインタ 続きを読む 状態遷移モデルに基づく設計と検証