The aim of the first step is to bui

The aim of the first step is to build a detailed model of the system, in the form of a set of communicating timed automata

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

จุดมุ่งหมายของการขั้นตอนแรกคือการสร้างรูปแบบที่มีรายละเอียดของระบบในรูปแบบของชุดของการสื่อสารออโตหมดเวลา

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

จุดมุ่งหมายของขั้นตอนแรกคือการ สร้างแบบรายละเอียดของระบบ ในรูปของชุดของออโตมาตาเวลาสื่อสาร

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

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