Követés
Milán Mondok
Milán Mondok
E-mail megerősítve itt: mit.bme.hu - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Abstraction-based model checking of linear temporal properties
M Mondok, A Vörös
27th PhD Minisymposium of the Department of Measurement and Information …, 2020
22020
Formal verification of engineering models via extended symbolic transition systems
M Mondok, Á Hajdu
Bachelor’s Thesis, BME, 2020
12020
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–2