Login / Signup

Model checking for general linear error-in-covariables model with validation data.

Pengjie DaiZhihua SunPeng 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