Another promising solutionis to bui

Another promising solution
is to build formal models which capture all the useful
behaviours of the modelled system

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

อีกวิธีที่แนวโน้ม
คือการสร้างรูปแบบที่เป็นทางการซึ่งจับภาพทั้งหมดที่มีประโยชน์
พฤติกรรมของระบบจำลอง

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

แก้ไขปัญหาสัญญา
คือการ สร้างแบบจำลองทางการจับภาพทั้งหมดที่ประโยชน์
วิญญาณคือ แบบจำลองระบบ

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

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