Login / Signup

Formal Hazard Analysis of Hybrid Systems in cTLA.

Peter HerrmannHeiko Krumm
Published in: SRDS (1999)
Keyphrases
  • hybrid systems
  • data analysis
  • intelligent systems
  • black box
  • genetic algorithm
  • artificial neural networks