Biblio

Filters: Author is Junxing Yang  [Clear All Filters]
2018-05-27
Junxing Yang, Md. Ariful Islam, Radu Grosu, Scott A. Smolka, Scott Stoller.  2017.  A Simplex Architecture for Hybrid Systems using Barrier Certificates. International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017). :117–131.