S
smalldog
Guest
1.test-penkki automaatio
2.constrained-pistokoetarkastukset
3.assertion perustuva todentaminen
4.functional kattavuus-odotuksiin todentaminen
5.formal todentaminen (staattinen ja dynaaminen)
6.transaction tason mallinnus.
2.constrained-pistokoetarkastukset
3.assertion perustuva todentaminen
4.functional kattavuus-odotuksiin todentaminen
5.formal todentaminen (staattinen ja dynaaminen)
6.transaction tason mallinnus.