• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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