イベント「せっかく書いたのにもったいない !!!」形式手法でよみがえる "ダイナミック" な UML2008/7/30(水)終了モデル検査 イベントコーデック アプリケーション別ソリューションセミナー~ ビデオ機器、セキュリティ機器、ポータブル機器、コンシューマ機器など ~2008/7/2(水)終了組込みシステム イベントUML を使ったモデル検査~ お持ちのシーケンス図、状態図を検証してみませんか ~2008/6/25(水)終了モデル検査 イベント第34回 SEA関西プロセス分科会~「動きの設計と検証、さらに自動化」~2008/5/30(金)終了モデル検査 イベント大規模・高機能な組込みシステム向けのリアルタイムOSセミナー~メモリ保護/プロセスモデル対応T-Kernel、POSIX仕様準拠RTOSのご紹介~2008/1/30(水)終了組込みシステム