Login / Signup

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study.

Marius MikucionisKim Guldstrand LarsenJacob Illum RasmussenBrian NielsenArne SkouSteen Ulrik PalmJan Storbank PedersenPoul Hougaard
Published in: ISoLA (2) (2010)
Keyphrases
  • case study
  • genetic algorithm
  • real time
  • data mining
  • artificial intelligence
  • social networks
  • information systems
  • knowledge base
  • special case
  • software development
  • quantitative analysis
  • automatic analysis