Login / Signup

systems using UPPAAL.

Torsten K. IversenKåre J. KristoffersenKim Guldstrand LarsenMorten LaursenRune G. MadsenSteffen K. MortensenPaul PetterssonChris B. Thomasen
Published in: ECRTS (2000)
Keyphrases
  • genetic algorithm
  • expert systems
  • management system
  • building blocks
  • data mining
  • knowledge based systems
  • database
  • neural network
  • hidden markov models
  • learning systems