首页> 外文会议>AIAA SPACE Conference Exposition >Solid Verification Program Enables Cost- Effective Acquisition of Complex Yet Reliable Space Systems (Importance of Implementing a Distributed- Verification Program With Modular- Management Process)

【24h】

Solid Verification Program Enables Cost- Effective Acquisition of Complex Yet Reliable Space Systems (Importance of Implementing a Distributed- Verification Program With Modular- Management Process)

机译：稳定验证程序使复杂但可靠的空间系统的经济高效采购（使用模块化管理过程实现分布式验证程序的重要性）

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《AIAA SPACE Conference Exposition》|2007年||共18页
会议地点
作者
S. Nagano;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类航天（宇宙航行）;
关键词

相似文献

外文文献
中文文献
专利

1. New Standard Available AIAA Space Systems Verification Program and Management Process (AIAA S-117-2010) [J] . Aerospace America . 2011,第1期

机译：新标准可用的AIAA空间系统验证计划和管理流程（AIAA S-117-2010）
2. Space Systems Verification Program and Management Process [J] . Satoshi Nagano Systems Engineering . 2008,第1期

机译：太空系统验证计划和管理过程
3. Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes [J] . Marco Montali, Paolo Torroni, Federico Chesani, Fundamenta Informaticae . 2010,第3a4期

机译：推理逻辑编程是一种有效的技术，用于对声明性业务流程进行静态验证
4. Solid Verification Program Enables Cost- Effective Acquisition of Complex Yet Reliable Space Systems (Importance of Implementing a Distributed- Verification Program With Modular- Management Process) [C] . S. Nagano AIAA SPACE Conference Exposition . 2007

机译：可靠的验证程序可实现经济高效地获取复杂而可靠的太空系统（采用模块化管理流程实施分布式验证程序的重要性）
5. Design and implementation of a Pomset automaton based runtime verifier for distributed Jade programs. [D] . Liu, Yan. 2008

机译：基于Pomset自动机的运行时验证程序的设计和实现，用于分布式Jade程序。
6. Effectiveness cost effectiveness acceptability and implementation barriers/enablers of chronic kidney disease management programs for Indigenous people in Australia New Zealand and Canada: a systematic review of mixed evidence [O] . Rachel Reilly, Katharine Evans, Judith Gomersall, 2016

机译：澳大利亚新西兰和加拿大土著居民慢性肾脏病管理计划的有效性成本效益可接受性和实施障碍/实现因素：对混合证据的系统评价
7. Pervasive Compiler Verification – From Verified Programs to Verified Systems [O] . Leinenbach Dirk, Petrova Elena 2008

机译：普遍的编译器验证-从验证程序到验证系统

Solid Verification Program Enables Cost- Effective Acquisition of Complex Yet Reliable Space Systems (Importance of Implementing a Distributed- Verification Program With Modular- Management Process)

著录项

相似文献

相关主题

期刊订阅