Login / Signup
Verification of Real-Time Systems using Linear Relation Analysis.
Nicolas Halbwachs
Yann-Erick Proy
Patrick Roumanoff
Published in:
Formal Methods Syst. Des. (1997)
Keyphrases
</>
real time systems
cooperative
dynamic programming
automatically generated