Login / Signup

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.

Mounir ChadliJin Hyun KimAxel LegayLouis-Marie TraonouezStefan NaujokatBernhard SteffenKim 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