1
Published 2013
Table of Contents: ... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...
View full text
Electronic eBook