Login / Signup

A Formal Method for Specification and Refinement of Real-Time Systems.

Peter T. BreuerNatividad Martínez MadridLuis SánchezAndrés MarínCarlos Delgado Kloos
Published in: RTS (1996)
Keyphrases
  • real time systems
  • significant improvement
  • artificial intelligence
  • similarity measure
  • objective function
  • cooperative
  • computational efficiency