This paper proposes a method to bui

This paper proposes a method to build formal
models of networked automation systems, in the form of sets of
communicating timed automata, which are reduced enough to
avoid (or limit) combinatory explosion, but accurate enough to
provide meaningful proof results, when they are checked.

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

บทความนี้เสนอวิธีการที่จะสร้างอย่างเป็นทางการ
รูปแบบของระบบอัตโนมัติเครือข่ายในรูปแบบของชุด
สื่อสารออโตหมดเวลาซึ่งจะลดลงพอที่จะหลีกเลี่ยงการ
(หรือขีด จำกัด ) ระเบิด combinatory แต่ที่ถูกต้องเพียงพอที่จะให้ผล
หลักฐานที่มีความหมาย เมื่อพวกเขามีการตรวจสอบ

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

กระดาษนี้เสนอวิธีการสร้างอย่างเป็นทางการ
แบบจำลองของระบบเครือข่ายอัตโนมัติ ในรูปแบบของชุด
สื่อสารเวลาโกเบ ซึ่งจะลดลงพอ
หลีกเลี่ยง (หรือจำกัด) combinatory ระเบิด แต่ถูกต้องเพียงพอที่จะ
ให้ผลพิสูจน์ความหมาย เมื่อมีการตรวจสอบ

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

เอกสารนี้เสนอวิธีการที่จะสร้างอย่างเป็นทางการ
รุ่นของระบบอัตโนมัติบนเครือข่ายในรูปแบบของชุดของ
กลายเป็นจักรกลหมดระยะเวลาการติดต่อสื่อสารซึ่งจะถูกลดลงไม่เพียงพอที่จะ
ซึ่งจะช่วยป้องกันการระเบิดการหลีกเลี่ยง(หรือจำกัด) combinatory แต่ได้อย่างแม่นยำไม่เพียงพอที่จะ
ซึ่งจะช่วยให้การตรวจสอบความถูกต้องนี้มีความหมายเมื่อพวกเขาจะได้รับการตรวจสอบ