instrumental in developing linear temporal model checkers
Persian (Farsi) translation: در توسعه وارسهای مدل زمانی (مدل موقت) خطی کاربرد دارد
| GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW) | ||||||
|---|---|---|---|---|---|---|
|
| 10:36 Feb 11, 2020 |
| English to Persian (Farsi) translations [PRO] Tech/Engineering - Computers (general) | |||||||
|---|---|---|---|---|---|---|---|
|
| ||||||
|  Selected response from: Mohammad Ali Omrani Local time: 20:05 | ||||||
Grading comment
| |||||||
Answers
4 mins confidence: 
peer agreement (net): +1
peer agreement (net): +1برای توسعه وارسی کننده های مدل موقت خطی مفید است Explanation: . |
| |
| Login to enter a peer comment (or grade) | ||
5 mins confidence: peer agreement (net): +1
peer agreement (net): +1برای ایجاد مدلسنجهای موقت خطی به کار میآید Explanation: https://fa.wikipedia.org/wiki/منطق_موقت_خطی |
| |
| Login to enter a peer comment (or grade) | ||
7 mins confidence: peer agreement (net): +1
peer agreement (net): +1در توسعه وارسهای مدل زمانی (مدل موقت) خطی کاربرد دارد Explanation: |
| |
| Login to enter a peer comment (or grade) | ||
7 mins confidence:
نقشی ابزاری در توسعه وارسیکنندگان مدل موقت خطی دارد Explanation: https://fa.wikipedia.org/wiki/وارسی_مدل |
| |
| Login to enter a peer comment (or grade) | ||
43 mins confidence:
همچنین در طراحی بررسیکنندههای مدل خطی-زمانی موثر یا سودمند است Explanation: . |
| |
| Login to enter a peer comment (or grade) | ||
1 hr confidence:
در توسعه ی بررسی کننده های مدل موقت خطی موثر/ کاربردی می باشد Explanation: . |
| |
| Login to enter a peer comment (or grade) | ||
3 hrs confidence: 
برای بهبود وارسی کننده های مدل موقت خطی کارآمد است Explanation: |
| |
| Login to enter a peer comment (or grade) | ||
Login or register (free and only takes a few minutes) to participate in this question.
You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.
KudoZ™ translation help
The KudoZ network provides a framework for translators and others to assist each other with translations or explanations of terms and short phrases.
See also:
Search millions of term translations