121
Voted
FMICS
2007
Springer
15 years 9 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...