Building effective formal models to

Building effective formal models to prove time properties

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

การสร้างรูปแบบที่เป็นทางการที่มีประสิทธิภาพเพื่อพิสูจน์คุณสมบัติของเวลา

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

สร้างแบบจำลองทางผลพิสูจน์คุณสมบัติเวลา

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

เป็นอาคารรุ่นอย่างเป็นทางการมีผลให้เวลาพิสูจน์