Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

validation and verification (võtmesõna)

—

—

—

—

Lisa tingimus Liitotsing 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 5
Vaata veel.. (1/40)
Ekspordi

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

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Autonomous driving validation and verification using digital twinsPikner, Heiko; Malayjerdi, Mohsen; Bellone, Mauro; Baykara, Baris Cem; Sell, RaivoProceedings of the 10th International Conference on Vehicle Technology and Intelligent Transport Systems - VEHITS. Vol. 12024 / p. 204-211 https://doi.org/10.5220/0012546400003702

artikkel kogumikus
Seotud publikatsioonid 1
- Cyber-physical control system for self-driving vehicles = Isejuhtivate sõidukite küberfüüsikaline juhtsüsteem
2

artikkel kogumikus

Data exchange for shared situation awarenessPreden, Jürgo-Sören; Mõtus, Leo; Pahtma, Raido; Meriste, MerikCogSIMA 2012 : 2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support : [proceedings]2012 / p. 198-201 : ill https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6188380

artikkel kogumikus
3

artikkel ajakirjas EST / artikkel ajakirjas ENG

A global survey of standardization and industry practices of automotive cybersecurity validation and verification testing processes and toolsRoberts, Andrew; Marksteiner, Stefan; Soyturk, Mujdat; Yaman, Berkay; Yang, YiSAE international journal of connected and automated vehicles2023 / art. 12-07-02-0013 https://doi.org/10.4271/12-07-02-0013 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG
4

artikkel ajakirjas EST / artikkel ajakirjas ENG

Polyverif : an open-source environment for autonomous vehicle validation and verification research accelerationRazdan, Rahul; Akbas, Mustafa Ilhan; Sell, Raivo; Bellone, Mauro; Menase, Mahesh; Malayjerdi, MohsenIEEE Access2023 / p. 28343-28354 https://doi.org/10.1109/ACCESS.2023.3258681 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
5

artikkel kogumikus

Reducing bandwidth requirements and optimizing data flow in distributed data acquisition and processingPreden, Jürgo-Sören; Mõtus, Leo; Pahtma, Raido; Meriste, MerikProceedings of the 2013 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA)2013 / p. 175-182 : ill

artikkel kogumikus

Kirjeid leitud 5, kuvan 1 - 5

1. validation and verification
2. verification and validation
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