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