宮崎 仁 | 岡山県立大学大学院情報系工学研究科システム工学専攻
スポンサーリンク
概要
関連著者
-
宮崎 仁
岡山県立大学大学院情報系工学研究科システム工学専攻
-
佐藤 洋一郎
岡山県立大学情報工学部情報システム工学科
-
横川 智教
岡山県立大学情報工学部情報システム工学科
-
佐藤 洋一郎
岡山県立大学 情報工学部 情報システム工学科
-
横川 智教
岡山県立大学情報工学部
-
横川 智教
岡山県立大学 情報工学部 情報システム工学科
-
宮崎 仁
岡山県立大学大学院情報系工学研究科
-
佐藤 洋一郎
岡山県立大学情報工学部
-
早瀬 道芳
岡山県立大学
-
早瀬 道芳
岡山県立大学大学院情報系工学研究科
-
横川 智教
岡山県立大学大学院情報系工学研究科
-
茅野 功
川崎医療福祉大学医療技術学部臨床工学科
-
佐藤 洋一郎
静大農
-
佐藤 洋一郎
人間文化研機構地球研
-
宮崎 仁
川崎医療福祉大学医療技術学部臨床工学科
-
茅野 功
川崎医療福祉大学医療技術学部
-
佐藤 貞仁
岡山県立大学大学院情報系工学研究科システム工学専攻
-
佐藤 貞仁
岡山県立大学情報工学部
-
佐藤 貞仁
岡山県立大学大学院情報系工学研究科
-
望月 精一
川崎医療福祉大学医療技術学部臨床工学科
-
薮本 道人
山佐株式会社ハードウェア開発部
-
茅野 功
川崎医療短期大学
-
平松 修
川崎医療福祉大学医療技術学部臨床工学科
-
天嵜 聡介
岡山県立大学情報工学部情報システム工学科
-
望月 精一
川崎医療福祉大学医療技術学部
-
近藤 真史
岡山県立大学大学院情報系工学研究科
-
桐田 和明
岡山県立大学
-
瀬古 剛一
岡山県立大
-
幡谷 大介
岡山県立大学情報工学部
-
宮岡 有希
岡山県立大学情報工学部
-
天嵜 聡介
岡山県立大学
-
天[サキ] 聡介
岡山県立大学大学院情報系工学研究科システム工専攻
-
近藤 真史
岡山県立大学大学院 情報系工学研究科
-
三輪 陽介
岡山県立大学大学院情報系工学研究科
著作論文
- 回胴式遊技機(パチスロ)から放射される中間周波磁界及び高周波電界に関する基礎的検討(電磁環境・EMC)
- モデル検査ツールUPPAALを用いたGALSシステムの形式的検証(ネットワークオンチップ,システムオンシリコンを支える設計技術)
- 記号モデル検査を用いた状態マシン図とシーケンス図の無矛盾性の検証(設計支援)
- 有界モデル検査を用いた複数UML図の形式的検証
- D-3-3 有界モデル検査を用いた複数UML図の検証に関する検討(D-3.ソフトウェアサイエンス,一般講演)
- K_067 透視化機能をもつマルチウィンドウシステムの高解像度化(K分野:ヒューマンコミュニケーション&インタラクション)
- B_003 シーケンス図と状態遷移図で記述されたUMLモデルを対象としたモデル検査による形式的検証(B分野:ソフトウェア)
- C-024 ウィンドウの透視化と輝度低下機能を持つマルチウィンドウシステムの評価(C分野:アーキテクチャ・ハードウェア)
- 時間ペトリネットでモデル化された非同期システムに対するモデル検査ツールUPPAALの適用
- LTSAを用いたシーケンス図の詳細化関係の検証
- B-4-10 複数の回胴式遊技機による放射中間周波磁界の遊技者への影響評価(B-4. 環境電磁工学,一般セッション)
- 臨床実習スケジューリングの自動化に関する研究
- タブーサーチを用いた臨床実習スケジューリングの自動化
- B-027 時間ペトリネットでモデル化されたGALSシステムを対象としたUPPAALによる自動検証手法(ソフトウェアサイエンス,B分野:ソフトウェア)