Login / Signup

Analysis of three hybrid systems in timed µCRL.

Jan Friso GrooteJos van Wamel
Published in: Sci. Comput. Program. (2001)
Keyphrases
  • hybrid systems
  • data analysis
  • discrete event
  • neural network
  • decision making