112
click to vote
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...