Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System
Gross, Kerianne H., Fifarek, Aaron W., Hoffman, Jonathan A.
Published in 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) (01.01.2016)
Published in 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) (01.01.2016)
Get full text
Conference Proceeding
Compositional Architecture Design for Fuel Tank Thermal Systems
Regisford, Sean J. S., Hulbert, Brian K., Fifarek, Aaron W.
Published in 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) (01.01.2016)
Published in 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) (01.01.2016)
Get full text
Conference Proceeding