To verify the designed protocols, w

To verify the designed protocols, we need to translate these protocols
and their underlying architectures into representative yet tractable
models.

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

การตรวจสอบโพรโทคอลที่ออกแบบ เราจำเป็นต้องแปลโพรโทคอเหล่านี้และสถาปัตยกรรมของต้นเป็นพนักงาน ยัง tractableรูปแบบจำลอง

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

เมื่อต้องการตรวจสอบโปรโตคอลการออกแบบที่เราจำเป็นต้องแปลโปรโตคอลเหล่านี้
และสถาปัตยกรรมพื้นฐานของพวกเขาเป็นตัวแทนยังซูฮก
รุ่น

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

การตรวจสอบการออกแบบโปรโตคอลที่เราต้องการแปลโปรโตคอลเหล่านี้และเป็นผู้แทนของสถาปัตยกรรมอ้างอิง
ยังรูปแบบควบคุมได้ง่าย