Login / Signup

Assertion-Based Analysis of Hybrid Systems with PVS.

Erika Ábrahám-MummUlrich HannemannMartin Steffen
Published in: EUROCAST (2001)
Keyphrases
  • hybrid systems
  • neural network
  • data analysis
  • evolutionary algorithm
  • intelligent systems
  • discrete event