11.
Dobos-Kovács, Mihály ; Vörös, András
Model checking and test generation: towards a combined approach to software verification
In: Pataki, Béla (szerk.) Proceedings of the 26th Minisymposium of the Department of Measurement and Information Systems
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2019) 32 p. pp. 12-15. , 4 p.
Repozitóriumban
Közlemény:31396950 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[31396950] [Nyilvános]
12.
Dobos-Kovács, Mihály
CanSat, avagy "műhold" a dobozban
TERMÉSZET VILÁGA 148 : 10 p. 456 (2017)
Matarka
Közlemény:3281139 Admin láttamozott Forrás Folyóiratcikk (Ismertetés ) Ismeretterjesztő
Nyelv: Magyar
Ismertetés (Folyóiratcikk) | Ismeretterjesztő 
Megjegyzés: #hozzárendelt szerző ismeretlen

[3281139] [Admin láttamozott]
2026-01-19 22:13