宇佐美 雅紀 | イーソル株式会社
スポンサーリンク
概要
関連著者
-
藤倉 俊幸
イーソル株式会社
-
宇佐美 雅紀
イーソル株式会社
-
藤倉 俊幸
イーソル株式会社リサーチ&コンサルテーションサービス部
-
野中 哲
タオベアーズ合同会社
-
平野 清美
イーソル株式会社リサーチ&コンサルテーションサービス部
著作論文
- LTSAとSPINを連携させたタスク設計の提案(組込みシステムプラットフォーム)
- AS-4-5 モデル検査への事前条件・事後条件検証の導入(離散事象システムとモデル検査,AS-4.組込みシステムの形式的手法,シンポジウム)
- アセンブラのモデル検査におけるモデルの自動生成について(検証・検査手法)
- モデル検査への事前条件・事後条件検証の導入(検証・検査手法)
- モデル検査への事前条件・事後条件検証の導入(検証・検査手法)
- LTSAとSPINを連携させたタスク設計の提案(組込みシステムプラットフォーム)
- LTSAとSPINを連携させたタスク設計の提案(組込みシステムプラットフォーム)
- LTSAとSPINを連携させたタスク設計の提案 (計算機アーキテクチャ 組込みシステム)
- アセンブラのモデル検査におけるモデルの自動生成について(検証・検査手法)