スポンサーリンク
島根大学理学部情報科学科 | 論文
- クリーネ論理の特徴付け
- ファジィ論理とその代数(ファジィ数学)
- ファジィ論理関数は本質的に3値である
- ハードリアルタイムシステムの実時間記号モデル検査
- 縦続構成適応IIRノッチフィルタの定常特性の解析
- 誤差フィードバックを用いた適応ノッチフィルタの定常解析
- 実時間分散ソフトウェアの可能性と公平性の検証
- 拡張リアルタイム時相論理による分散ソフトウェアの形式的検証
- 分散ソフトウェアのタイミング検証
- 含意を持つファジィ代数について
- 対称性に基づく並行システムの記号モデル検査
- 適応ノッチフィルタにおける勾配法と符号法の比較
- 二分決定グラフと時間不等式手法に基づく近似解法による実時間シンボリックモデルチェッキング検証
- リージョングラフを用いた時間オートマトンのシンボリックモデルチェッキング検証