1
Publicado 2013
Table of Contents: ... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...
Ligazón do recurso
Electrónico eBook
2
Publicado 2014
Table of Contents: ...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...
Ligazón do recurso
Electrónico eBook