Login / Signup

Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems.

Kai LampkaSimon PerathonerLothar Thiele
Published in: EMSOFT (2009)
Keyphrases
  • hybrid method
  • real time
  • low cost
  • artificial intelligence
  • hybrid algorithm
  • timed automata
  • data sets
  • neural network
  • web services
  • training data
  • genetic algorithm ga
  • model checking
  • real time systems