Mixed-criticality system modelling with dynamic execution mode switching

Philipp Ittershagen, Kim Grüttner, Wolfgang Nebel. Mixed-criticality system modelling with dynamic execution mode switching. In 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015. pages 116-121, IEEE, 2015. [doi]

Abstract

Abstract is missing.