Table II contains the results of th

Table II contains the results of three experiments which were made by using UPPAAL on the same computer, with a 2.8 GHz Pentium 4 processor and 4 GB of RAM, so that the computing times can be compared.

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

ตาราง ii มีผลการทดลองสามซึ่งถูกสร้างขึ้นมาโดยใช้ uppaal บนคอมพิวเตอร์เครื่องเดียวกันกับ 2.8 GHz Pentium 4 และ 4 GB of RAM เพื่อให้เวลาที่คอมพิวเตอร์สามารถนำมาเปรียบเทียบ

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

ตาราง II ประกอบด้วยผลการทดลองที่สามซึ่งทำ โดย UPPAAL บนคอมพิวเตอร์เครื่องเดียวกัน มีหน่วยประมวลผล Pentium 4 2.8 GHz และ RAM, 4 GB เพื่อให้สามารถเทียบเท่าคอมพิวเตอร์

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

ตาราง II ประกอบด้วยผลการทดลองของทั้งสามซึ่งได้ถูกสร้างขึ้นโดยใช้ uppaal บนคอมพิวเตอร์เครื่องเดียวกันพร้อมด้วย 4 GB และโปรเซสเซอร์ Pentium 4 2.8 GHz RAM ดังนั้นที่เวลาการใช้งานคอมพิวเตอร์ที่สามารถนำไปเปรียบเทียบกับ