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 (eds.) Proceedings of the 26th Minisymposium of the Department of Measurement and Information Systems
Bp, Hungary : BME MIT (2019) 32 p. pp. 12-15. , 4 p.
Repozitóriumban
Publication:31396950 Published Core Chapter in Book (Conference paper ) Scientific
Language: English
Conference paper (Chapter in Book) | Scientific[31396950] [Approved]
12.
Dobos-Kovács, Mihály
CanSat, avagy "műhold" a dobozban
TERMÉSZET VILÁGA 148 : 10 p. 456 (2017)
Matarka
Publication:3281139 Admin approved Core Journal Article (Notices/Popularizing article ) Popular science
Language: Hungarian
Notices/Popularizing article (Journal Article) | Popular science 
Comment: #hozzárendelt szerző ismeretlen

[3281139] [Admin approved]
2025-11-16 01:19