Login / Signup

Second-order splitting schemes for a class of reactive systems.

Zhuyin RenStephen B. Pope
Published in: J. Comput. Phys. (2008)
Keyphrases
  • reactive systems
  • higher order
  • software engineering
  • temporal logic
  • real time
  • model checking
  • formal methods
  • function symbols