スポンサーリンク
仙台電波工業高等専門学校 | 論文
- 契約ネットプロトコルの形式的仕様化と解析
- 状態マシンモデルに基づいた並行システムの複合的仕様化手法
- 命題論理に基づいた並行システムの制約付き仕様記述
- 場と有限状態機械の概念に基づいたモバイル並行システムの仕様化手法とその適用(マルチメディアコミュニケーションシステム)
- 有限状態モデルに基づくモバイルシステムの仕様化
- 移動性を考慮した有限状態モデルに基づく並行システムの仕様化
- 動的再構成システムの仕様化と検証
- カラム固定パターンノイズ低減機能を持つ160dB広ダイナミックレンジCMOSイメージセンサ
- 可変マージ関数の否定数限定複雑さ (計算モデルとアルゴリズム)
- PBL手法に基づいた産学連携の実践的ソフトウェア開発教育(情報システム教育コンテスト(3))
- TK-3 4.産学連携実践的ソフトウェア開発教育における社会人基礎力育成・評価の取り組み(TK-3.技術者教育における優良実践シンポジウム-技術者教育におけるコミュニケーション能力向上の取り組み-,大会委員会企画)
- B-13-1 銀クラッドステンレス管を用いたAgI/Ag中空ファイバの伝送特性(B-13.光ファイバ応用技術,一般セッション)
- (41) マルチタスクOS教育用マイクロコンピュータシステムの開発(第2セッション 教材の開発-II)
- (40) スパイラル方式に基づくマイクロコンピュータ応用技術教育の実践方式(第2セッション 教材の開発-II)
- (39) 基礎原理の理解を目指した論理回路実習用ボードの開発(第1セッション 教材の開発-I)
- (38) 高専における体系的ディジタル技術教育の実践(第1セッション 教材の開発-I)
- 高専における実践的マイクロコンピュ-タ教育の一方法
- Composition Method of Service and protocol Specifications
- 並行計算πFを用いたモバイルシステム管理
- 動的再構成システム仕様の挙動検証