Login / Signup
Second-order splitting schemes for a class of reactive systems.
Zhuyin Ren
Stephen 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