Login / Signup

Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller.

L. J. Steggles
Published in: J. Univers. Comput. Sci. (2000)
Keyphrases
  • real time systems
  • real time
  • higher order
  • neural network
  • significant improvement
  • artificial intelligence
  • cooperative
  • open source
  • embedded systems