Login / Signup
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.
Mounir Chadli
Jin Hyun Kim
Axel Legay
Louis-Marie Traonouez
Stefan Naujokat
Bernhard Steffen
Kim Guldstrand Larsen
Published in:
FMICS-AVoCS (2016)
Keyphrases
</>
statistical analysis
genetic algorithm
data analysis
probabilistic model
theoretical framework
neural network
scheduling problem
lightweight
quantitative analysis
formal methods
data driven approaches