Login / Signup
Model checking for general linear error-in-covariables model with validation data.
Pengjie Dai
Zhihua Sun
Peng Wang
Published in:
J. Syst. Sci. Complex. (2010)
Keyphrases
</>
model checking
probability distribution
temporal properties
temporal logic
process algebra
formal methods
finite state machines
asynchronous circuits
multi agent systems
model checker
verification method