กำลังโหลด...
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
การอ้างอิงต่อปี
การอ้างอิงซ้ำกัน
บทความต่อไปนี้รวมอยู่ใน Scholar จำนวน
การอ้างอิงที่รวมเข้าด้วยกัน
ของบทความเหล่านี้จะนับเฉพาะบทความแรกเท่านั้น
การอ้างอิงที่รวมเข้าด้วยกัน
จำนวน "อ้างอิงโดย" นี้รวมถึงการอ้างอิงไปยังบทความต่อไปนี้ใน Scholar บทความที่ทำเครื่องหมาย
*
อาจต่างจากบทความนั้นในโปรไฟล์
เพิ่มผู้เขียนร่วม
ผู้เขียนร่วม
ติดตาม
บทความใหม่โดยผู้เขียนคนนี้
การอ้างอิงใหม่สำหรับผู้เขียนคนนี้
บทความใหม่ที่เกี่ยวข้องกับงานวิจัยของผู้เขียนคนนี้
ที่อยู่อีเมลที่ใช้รับข้อมูลอัปเดต
เสร็จสิ้น
โปรไฟล์ของฉัน
ห้องสมุดของฉัน
เมตริก
การแจ้งเตือน
การตั้งค่า
ลงชื่อเข้าสู่ระบบ
ลงชื่อเข้าสู่ระบบ
รับโปรไฟล์ของฉันเอง
อ้างโดย
ดูทั้งหมด
ทั้งหมด
ตั้งแต่ปี 2019
การอ้างอิง
20
7
ดัชนี h
2
1
ดัชนี i10
1
0
0
4
2
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
1
1
2
4
3
1
1
2
1
4
ผู้เขียนร่วม
Istvan Majzik
Associate Professor, Budapest University of Technology and Economics
ยืนยันอีเมลแล้วที่ mit.bme.hu
Zoltán Micskei
Budapest University of Technology and Economics
ยืนยันอีเมลแล้วที่ mit.bme.hu
ติดตาม
Gergo HORANYI
CERN,
Budapest University of Technology and Economics
ยืนยันอีเมลแล้วที่ inf.mit.bme.hu -
หน้าแรก
runtime verification
model checking
code generation
software testing
บทความ
อ้างโดย
ผู้เขียนร่วม
ชื่อ
จัดเรียง
เรียงตามการอ้างอิง
เรียงตามปี
เรียงตามชื่อ
อ้างโดย
อ้างโดย
ปี
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
17
2013
Automated evaluation of the test traces of autonomous systems
G Horányi, I Majzik
Technical report, BME
, 2013
2
2013
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
1
2011
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
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–4
แสดงเพิ่มเติม
ความเป็นส่วนตัว
ข้อกำหนด
ความช่วยเหลือ
เกี่ยวกับ Scholar
ศูนย์ช่วยเหลือของ Search