Login / Signup

Dynamic Analysis of a High-Speed Train.

Sonia LevaAdriano Paolo MorandoPaolo Colombaioni
Published in: IEEE Trans. Veh. Technol. (2008)
Keyphrases
  • dynamic analysis
  • high speed train
  • static analysis
  • reverse engineering
  • model checking
  • databases
  • software engineering
  • malicious behavior
  • high speed railway
  • database
  • high level
  • expert systems
  • optimization algorithm