Another promising solution is to bu

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

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

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

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

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

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

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