Kerianne H. Gross

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Relational Databases

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)
Kerianne H. Gross, Aaron W. Fifarek, Jonathan A. Hoffman
Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System. HASE (2016)