Login / Signup
Eric D. Swenson
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Formal Methods
Relational Databases
Knowledge Acquisition
Top Venues
J. Aerosp. Inf. Syst.
</>
Publications
</>
Kerianne H. Gross
,
Matthew A. Clark
,
Jonathan A. Hoffman
,
Eric D. Swenson
,
Aaron W. Fifarek
Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control.
J. Aerosp. Inf. Syst.
14 (4) (2017)