Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

verification and validation (võtmesõna)

—

—

Lisa tingimus Lihtotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 2
Vaata veel.. (1/40)
Ekspordi

ekspordi kõik päringu tulemused (2)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Iterative optimization of hyperparameter-based metamorphic transformationsSudheerbabu, Gaadha; Ahmad, Tanwir; Truscan, Dragos; Vain, Jüri; Porres, Ivan2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)2024 / p. 13-20 https://doi.org/10.1109/ICSTW60967.2024.00016 Article at Scopus Article at WOS

artikkel kogumikus
2

artikkel kogumikus

Test driven domain modellingPiho, Gunnar; Tepandi, Jaak; Parman, Marko; Puusep, Viljam; Roost, MartMIPRO 2011 : 34th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 23-27, 2011, Opatija, Croatia : proceedings2011 / p. 576-581 https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5967121

artikkel kogumikus

Kirjeid leitud 2, kuvan 1 - 2

1. verification and validation
2. validation and verification
3. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
4. coin validation
5. cross validation
6. field tests model validation
7. Model validation
8. modelling and validation
9. safety validation
10. system Validation
11. translation validation
12. validation
13. validation of simulation model
14. assertion-based verification
15. Automata, Formal Verification
16. Automatic Security Verification
17. automatic speaker verification
18. compliance verification
19. compositional verification
20. deductive verification
21. extra-functional verification
22. forecast verification
23. formal verification
24. functional verification
25. grid verification
26. Hardware Verification
27. model verification
28. model-based verification
29. power verification
30. program verification
31. reliability verification
32. RISC-V Security Verification
33. security verification
34. simple payment verification (SVP)
35. simulation-based verification
36. speaker verification
37. timing verification
38. verification
39. verification by model checking
40. verification methods

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu