メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
Shibaura Institute of Technology ホーム
English
日本語
ホーム
プロファイル
研究部門
研究成果
活動
プレス/メディア
受賞
専門知識、名前、または所属機関で検索
Scopus著者プロファイル
野田 夏子
教授
機能制御システム専攻
デザイン工学科
電気電子情報工学専攻
h-index
141
被引用数
7
h 指数
Pureの文献数とScopusの被引用数に基づいて算出されます
1999
2021
年別の研究成果
概要
フィンガープリント
ネットワーク
研究成果
(26)
類似のプロファイル
(6)
Pureに変更を加えた場合、すぐここに表示されます。
研究成果
年別の研究成果
1999
2001
2011
2013
2019
2020
2021
12
Conference contribution
5
Article
3
Paper
3
Editorial
3
その他
2
Conference article
1
Chapter
年別の研究成果
年別の研究成果
1 件
出版年、タイトル
(降順)
出版年、タイトル
(昇順)
タイトル
タイプ
フィルター
Chapter
検索結果
2009
Formal verification and software product lines
Kishi, T.
&
Noda, N.
,
2009 1月 1
,
Applied Software Product Line Engineering.
CRC Press
,
p. 231-246
16 p.
研究成果
:
Chapter
Embedded software
100%
Formal verification
94%
Product Line
83%
Software
52%
Mobile homes
33%