Early Stage Interference Checking for Automatic Design Space Exploration of Mixed Critical Systems.

Emanuele Vitali Gianluca Palermo

Published in: RAPIDO (2017)

Keyphrases

early stage
design space exploration
distributed systems
management system
e learning
data analysis
search space
computing environments
formal methods
design space