108
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...