DSVIS
2008
Springer
13 years 6 months ago
2008
Springer
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...