Login / Signup

ERTL: An Extension to RTL for the Specification, Analysis, and Verification of Hybrid Systems.

Jon G. HallRogério de Lemos
Published in: RTS (1996)
Keyphrases
  • hybrid systems
  • neural network
  • data analysis
  • artificial intelligence
  • software engineering
  • intelligent systems
  • service oriented