[IEEE 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Orlando, FL, USA (2016.1.7-2016.1.9)] 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System
Gross, Kerianne H., Fifarek, Aaron W., Hoffman, Jonathan A.Year:
2016
Language:
english
DOI:
10.1109/HASE.2016.16
File:
PDF, 760 KB
english, 2016