@dblp

A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems.

, , and . SCOPES, page 88-91. ACM, (2015)

Links and resources

Tags