hybrid verification approach for th

hybrid verification approach for the verification of embedded software with hardware dependencies using a mixed bottom-up/top-down algorithm with optimized static parameter assignment

ผลลัพธ์ (ไทย) 1:

วิธีตรวจสอบแบบผสมผสานสำหรับการตรวจสอบซอฟต์แวร์ฝังตัวมีการใช้อัลกอริทึมด้านล่างด้านบนเคลื่อนผสมกำหนดพารามิเตอร์ให้เหมาะคงขึ้นฮาร์ดแวร์

ผลลัพธ์ (ไทย) 2:

วิธีการตรวจสอบไฮบริดสำหรับการตรวจสอบของซอฟต์แวร์ฝังตัวที่มีการพึ่งพาฮาร์ดแวร์ใช้ผสมล่างขึ้น / ขั้นตอนวิธีการจากบนลงล่างมีการกำหนดค่าพารามิเตอร์คงที่ดีที่สุด

ผลลัพธ์ (ไทย) 3:

แนวทางการตรวจสอบลูกผสมเพื่อการตรวจสอบของซอฟต์แวร์ฝังตัวกับฮาร์ดแวร์การอ้างอิงโดยใช้วิธีจากบนลงล่างจากล่างขึ้นบน / ผสมเหมาะกำหนดพารามิเตอร์คงที่