Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS.

Kurt M. Wilson, Abdullah Al Arafat, John W. Baugh Jr., Ruozhou Yu, Zhishan Guo

Browse the full MEMOCODE paper archive.