Submitted by Anonymous on Wed, 08/23/2017 - 12:53pm
The 10th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems
In conjunction with RTSS'2017 conference
Background:
Large safety-critical real-time systems are typically created through the integration of multiple components that are developed mostly independently from each other.