Takip et
Gergo HORANYI
Gergo HORANYI
CERN, Budapest University of Technology and Economics
inf.mit.bme.hu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Scenario-based Automated Evaluation of Test Traces of Autonomous Systems
G Horányi, Z Micskei, I Majzik
SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded …, 2013
172013
Automated evaluation of the test traces of autonomous systems
G Horányi, I Majzik
Technical report, BME, 2013
22013
Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems
G Horányi, I Majzik
12th Symposium on Programming Languages and Software Tools, 161-172, 2011
12011
Grant agreement no. 621447 Project acronym R5-COP Project full title Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems
DD Vörös, G Horányi, Z Szatmári
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–4