145
click to vote
MODELS
2009
Springer
16 years 17 hour ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...