formal analysis

常見例句

雙語例句

• It should, then, be safe to assume that virus writers can and will find ways to break the formal analysis techniques as well.
  所以我們應該保守地假設病毒作者也能夠而且將會發(fā)現(xiàn)破壞形式分析技術的辦法。
• There is the danger that changes introduced during implementation will not be subject to formal analysis and governance processes.
  存在這樣一種風險，即實現(xiàn)過程中引入的更改不會經(jīng)過正式分析和管理流程。
• You can then use these models in formal analysis, simulation, and prototyping to explore predicted system behavior and in documentation or reviews to communicate the system's capabilities and feel.
  然后，您可以在形式化的分析、模擬和原型設計中使用這些模型，以研究預期的系統(tǒng)行為，并且可以在編寫文檔或總結(jié)時使用這些模型，以便就系統(tǒng)的性能和外觀進行交流。

權威例句

• Mr Krugman, who pioneered formal economic analysis of what causes currency crises, points out that Asia's banks and finance companies operated with implicit government guarantees.
  ECONOMIST: Disaster has spawned a new theory of financial crises
• The Center's analysis concludes that, in the process, the formal U.S. negotiating positions at COCOM have been grievously undermined.
  CENTERFORSECURITYPOLICY: Center For Security Policy
• Moreover, although the Formal Opinion explicitly does not engage in a technology-by-technology analysis, see id.
  FORBES: Your Ethical And Legal Duties When Using Wireless Networks
返回 formal analysis