首页> 外文OA文献 >Specifying and verifying reactive systems in a multi-language environment11Work partially supported by the project TOSCA.

【2h】

Specifying and verifying reactive systems in a multi-language environment11Work partially supported by the project TOSCA.

机译：在多语言环境中指定和验证反应系统11工作由项目TOSCA部分支持。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Merceron Agathe; Müllerburg Monica; Pinna G.Michele;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Partitioning for Large-scale Systems: A Sequential Distributed MPC Design * * This work has been partially supported by the project DEOCS (Ref. DPI2016-76493-C3-3-R). J. Barreiro-Gomez is partially supported by Colciencias and AGAUR. [J] . J. Barreiro-Gomez, C. Ocampo-Martinez, N. Quijano IFAC PapersOnLine . 2017,第1期

机译：大型系统分区：顺序分布式MPC设计 * < ce：footnote id =“ fn1”> * DEOCS项目已部分支持这项工作（参考（DPI2016-76493-C3-3-R）。 J. Barreiro-Gomez得到了Colciencias和AGAUR的部分支持。
2. Partitioning for Large-scale Systems: A Sequential Distributed MPC Design * * This work has been partially supported by the project DEOCS (Ref. DPI2016-76493-C3-3-R). J. Barreiro-Gomez is partially supported by Colciencias and AGAUR. [J] . J. Barreiro-Gomez, C. Ocampo-Martinez, N. Quijano IFAC PapersOnLine . 2017,第1期

机译：大型系统分区：顺序分布式MPC设计 * < ce：footnote id =“ fn1”> * DEOCS项目已部分支持这项工作（参考（DPI2016-76493-C3-3-R）。 J. Barreiro-Gomez得到了Colciencias和AGAUR的部分支持。
3. Cascade Synthesis of Electromechanical Tracking Systems with Respect to Restrictions on State Variables 1 1 The work was partially supported by RFFI under project 15–08–01543A, and Ministry of education under project MD–5336.2016.8. [J] . Sergey A. Kochetkov, Svetlana A. Krasnova, Aleksey S. Antipov IFAC PapersOnLine . 2017,第1期

机译：关于状态变量限制的机电跟踪系统的级联综合 1 1 RFFI在项目15下部分支持这项工作， 08–01543A，以及教育部的项目MD–5336.2016.8。
4. A mechanical verifier for supporting the design of reliable reactive systems [C] . Tie-Cheng Wang, Goldberg, A. . 1991

机译：机械验证器，用于支持可靠的电抗系统的设计
5. PROJECT MANAGEMENT VERSUS FUNCTIONAL MANAGEMENT: A CASE STUDY OF THE FLEET BALLISTIC MISSILE, THE SURFACE MISSILE SYSTEMS AND THE INSHORE WARFARE PROJECTS AND THEIR SUPPLY SUPPORT RELATIONSHIPS WITH THE NAVAL SUPPLY SYSTEMS COMMAND [D] . STALEY, SAMUEL SORBER, III. 1971

机译：项目管理与功能管理：以舰队弹道导弹，地面导弹系统和室内武器项目为例的研究及其与海军供应系统的供应支持关系
6. A European multi-language initiative to make the general population aware of independent clinical research: the European Communication on Research Awareness Need project [O] . Paola Mosconi, Gerd Antes, Giorgio Barbareschi, 2016

机译：欧洲一项多语言计划旨在让广大民众了解独立的临床研究：欧洲研究意识需求交流项目
7. Specifying and verifying reactive systems in a multi-language environment [O] . Merceron, A., Müllerburg, M., Pinna, G.M. 2002

机译：在多语言环境中指定和验证反应系统
8. Applications systems verification and transfer project. Volume 6: Operational applications of satellite snow-cover observations NOAA/NESS support study [R] . Schneider, S. R. 1981

机译：应用系统验证和转移项目。第6卷：卫星积雪观测的运行应用NOaa / NEss支持研究

Specifying and verifying reactive systems in a multi-language environment11Work partially supported by the project TOSCA.

著录项

引文网络

相似文献

相关主题

期刊订阅