Another area worth exploring is int

Another area worth exploring is integrating verification into the SWIM framework — that is, integrating a way to verify that actions are executed on the NEs, and that the NEs actually accepted the commands.

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

พื้นที่อื่นน่าสำรวจเป็นรวมการตรวจสอบในกรอบว่ายน้ำ — คือ รวมวิธีการตรวจ สอบว่า การดำเนินการดำเนินการบน NEs ว่า NEs ที่คำสั่งจะยอมรับ

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

พื้นที่มูลค่าการสำรวจก็คือการบูรณาการในการตรวจสอบในกรอบว่ายน้ำ - ที่มีการบูรณาการวิธีการตรวจสอบว่าการกระทำที่มีการดำเนินการใน NEs และที่ NEs จริงได้รับการยอมรับคำสั่ง

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

อีกหนึ่งพื้นที่ที่คุ้มค่าการตรวจสอบการลงว่ายน้ำกรอบ - นั่นคือ การบูรณาการวิธีการตรวจสอบว่า การดำเนินการจะดำเนินการบน NES และ NES จริงยอมรับคำสั่ง