Emanuele Vitali, Gianluca Palermo. Early Stage Interference Checking for Automatic Design Space Exploration of Mixed Critical Systems. In Proceedings of the 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO 2017, Stockholm, Sweden, January 23-25, 2017. pages 3, ACM, 2017. [doi]
Abstract is missing.