Login / Signup
James Nabity
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Fault Detection
Temporal Logic
Top Venues
IEEE Access
</>
Publications
</>
Ziquan Deng
,
Samuel P. Eshima
,
James Nabity
,
Zhaodan Kong
Causal Signal Temporal Logic for the Environmental Control and Life Support System's Fault Analysis and Explanation.
IEEE Access
11 (2023)