Login / Signup

Some Steps into Verification of Exact Real Arithmetic.

Norbert Th. MüllerChristian Uhrhan
Published in: NASA Formal Methods (2012)
Keyphrases
  • real life
  • model checking
  • real time
  • search algorithm
  • information systems
  • image segmentation
  • multi agent
  • optimal solution
  • multi agent systems
  • evolutionary algorithm
  • floating point