This derivation can be automatic, m

This derivation can be automatic, meaning that the model must be formal enough to allow a machine to derive tests.

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

มานี้ได้โดยอัตโนมัติ หมายความ ว่า รูปแบบต้องเป็นพอให้เครื่องสามารถรับการทดสอบ

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

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

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

รากศัพท์นี้สามารถอัตโนมัติ หมายถึง รูปแบบจะต้องเป็นทางการพอที่จะให้เครื่องที่ได้รับมาทดสอบ