The modeling and analysis of mixed-criticality systems. Extended abstract

From MaRDI portal
Publication:5500549