CrEStO: A Tool for Synthesizing Stateful Priorities

Christian Herrera, Nancy Cruz, Ricardo Quintero. CrEStO: A Tool for Synthesizing Stateful Priorities. In 16th European Dependable Computing Conference, EDCC 2020, Munich, Germany, September 7-10, 2020. pages 143-146, IEEE, 2020. [doi]

Abstract

Abstract is missing.