Skip to content

Ingredients for the Specification of Mixed-Criticality Real-Time Systems.

Raimund Kirner

VenueCISORC
Year2014
ProceedingsISORC

Browse the full ISORC paper archive.