Translation of "staghorn calculi" to Chinese language:
Dictionary English-Chinese
Staghorn calculi - translation :
Examples (External sources, not reviewed)
| The projects addressed reactive systems using general duration calculi and investigated other theories of reactive systems such as compositional verification and refinement calculi. | 这个项目使用通用时间算法来处理活性系统,和研究活性系统的其他原理,如组合核查和精练算法 |
| Postgraduate DESCARTES Course Design Calculi and Research Telecommunication Systems, in China, Brazil, Indonesia, Pakistan and South Africa | 研究生DESCARTES课程 设计计算与研究通讯系统,地点在中国 巴西 印度尼西亚 巴基斯坦和南非 |
| 110. UNU IIST research projects were carried out in the area of hybrid systems, typically control systems with embedded computers using durational calculi as the formal tools. | 110. 软件技术所在混合系统领域内进行研究项目,典型的如嵌装使用期间算法作为正规工具电脑的控制系统 |
| 60. During the year, UNU IIST continued work on its project on Design Calculi and Research for Telecommunication Systems (DESCARTES), which is investigating rigorous approaches to software development in telecommunications. | 60. 在这一年中,联合国大学 软件技术研究所继续执行关于设计微积分和电信系统的研究的项目 |
| Postgraduate Course on Formal Methods in Software Development and Duration Calculus, in Argentina and India Formal Software Development Methods and the Duration Calculi from Programmes on Large scale Systems and from Untimed Reactive Discrete Systems to Real time Hybrid Systems, in Macau. | 关于软件开发和持续计算形式方法的研究生课程,地点在阿根廷和印度 形式软件开发方法和持续计算 从大型系统程序和不定时反应离散系统程序到实时混合系统程序,地点在澳门 |
Related searches : Urinary Calculi - Renal Calculi - Staghorn Coral - Staghorn Moss - Staghorn Fern - Staghorn Sumac - South American Staghorn - Common Staghorn Fern
