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/53)
Ekspordi

ekspordi kõik päringu tulemused (2)
Salvesta TXT 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. independent verification and validation
2. verification and validation
3. validation and verification
4. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
5. assay validation
6. Autonomous Vehicle Validation
7. coin validation
8. cross validation
9. data transformation validation
10. experimental validation
11. field tests model validation
12. in vivo validation
13. LLM validation
14. method validation
15. Model validation
16. modelling and validation
17. PDF validation
18. safety validation
19. system Validation
20. thermal validation
21. translation validation
22. validation
23. validation of simulation model
24. assertion-based verification
25. Automata, Formal Verification
26. Automatic Security Verification
27. automatic speaker verification
28. compliance verification
29. compositional verification
30. constraint random verification
31. deductive verification
32. extra-functional verification
33. forecast verification
34. formal verification
35. functional verification
36. grid verification
37. Hardware Verification
38. model verification
39. model-based verification
40. power verification
41. program verification
42. Quantum state verification
43. reliability verification
44. RISC-V Security Verification
45. safety verification
46. security verification
47. simple payment verification (SVP)
48. simulation-based verification
49. speaker verification
50. timing verification
51. verification
52. verification by model checking
53. 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