Login / Signup

Compositional Specification and Structured Verification of Hybrid Systems in cTLA.

Peter HerrmannGünter GrawHeiko Krumm
Published in: ISORC (1998)
Keyphrases
  • hybrid systems
  • black box
  • intelligent systems
  • discrete event
  • meta learning
  • computational intelligence
  • neural network
  • soft computing
  • artificial intelligence
  • dynamic systems
  • model checking
  • real world
  • multi class