メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
Shibaura Institute of Technology ホーム
English
日本語
ホーム
プロファイル
研究部門
研究成果
活動
プレス/メディア
受賞
専門知識、名前、または所属機関で検索
Formal verification and software product lines
Tomoji Kishi,
Natsuko Noda
研究成果
:
Article
›
査読
25
被引用数 (Scopus)
概要
フィンガープリント
フィンガープリント
「Formal verification and software product lines」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。
並べ替え順
重み付け
アルファベット順
Engineering & Materials Science
Formal verification
100%
Embedded software
17%
Model checking
15%