メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
早稲田大学 ホーム
English
日本語
ホーム
プロファイル
研究部門
研究成果
専門知識、名前、または所属機関で検索
Local temporal reasoning
Eric Koskinen,
Tachio Terauchi
研究成果
:
Conference contribution
16
被引用数 (Scopus)
概要
フィンガープリント
フィンガープリント
「Local temporal reasoning」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。
並べ替え順
重み付け
アルファベット順
Mathematics
Temporal Reasoning
100%
Safety
30%
Trace
21%
Higher Order
19%
Liveness
18%
Temporal Logic
16%
Oracle
14%
Termination
14%
Type Systems
13%
Reasoning
12%
Software
12%
Specification
12%
Refinement
11%
Target
11%
Strategy
9%
Engineering & Materials Science
Temporal logic
39%
Specifications
21%