1
Publicat 2013
Taula de continguts: ... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...
Obtenir text complet
Electrònic eBook
2
Publicat 2014
Taula de continguts: ...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...
Obtenir text complet
Electrònic eBook