英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：


请选择你想看的字典辞典：
单词字典翻译
hvat查看　hvat　在百度字典中的解释百度英翻中〔查看〕
hvat查看　hvat　在Google字典中的解释Google英翻中〔查看〕
hvat查看　hvat　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • AN AGILE PRACTICE OF AVIONICS SYSTEM DEVELOPMENT - ICAS
    Virtual verification and validation are supported by multi-disciplinary analysis with continuously refined models Early detection of defects could be realized, and design quality can be improved Consistency among documents could be guaranteed based on a model-generated approach
  • Formal Verification of Avionics Software Products - ENS
    Section 2 is a quick overview of the development and verification process of a DO-178B conforming avionics product In section 3, the formal verification technologies used by Airbus are presented, whether already used industrially or close to be
  • Advancing Avionics Verification and Validation - HCL SW Blogs
    Avionics validation and verification requires significant engineering effort to comply with regulatory requirements DO-178B or DO-178C software standards, and teams are always looking for ways to reduce this effort through automation to achieve time- to-market goals
  • The Process of DO-254 Verification Planning for Avionics Systems!
    Define a Verification Plan – This gives a bird’s eye view of the testbench architecture as well as the methodology or standard adopted to define and execute the verification process It enlists what ‘exactly’ needs to be tested and also drives the coverage criteria
  • Research in the Verification of Flight-Critical Systems
    – Distributed Systems (Merging Spacing Terminal Area) – Priority Rules for Autonomous Flight Rules (AFR) – Formally verified implicit coordination (self-separation
  • DO-178C Software Testing Approaches in Avionics Power . . .
    This white paper examines two distinct methodologies for power delivery systems verification, highlighting the differences between traditional testing approaches and the method developed by Avionyx, a provider of software DO-178C engineering services for avionics systems





中文字典-英文字典  2005-2009