Time performances validation may be

Time performances validation may be achieved by simulation or timed model-checking of a NAS model.

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

การตรวจสอบการแสดงเวลาที่อาจจะประสบความสำเร็จโดยการจำลองหรือเวลาที่กำหนดรูปแบบการตรวจสอบของรูปแบบ NAS

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

เวลาแสดงตรวจสอบอาจทำได้ โดยการจำลอง หรือเวลาตรวจสอบรูปแบบของแบบ NAS

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

การตรวจสอบการแสดงเวลาอาจจะทำได้โดยการจำลองการตั้งเวลาหรือรุ่น - การตรวจสอบของรุ่น NAS ซึ่ง