首页> 外文OA文献 >Rewriting Semantics of Meta-Objects and Composable Distributed Services11Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312, by DARPA and NASA through Contract NAS2-98073, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grants CCR-9505960 and CCR-9633363, and CCR-9900334.

【2h】

Rewriting Semantics of Meta-Objects and Composable Distributed Services11Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312, by DARPA and NASA through Contract NAS2-98073, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grants CCR-9505960 and CCR-9633363, and CCR-9900334.

机译：重写元对象和可组合分布式服务的语义11由DARPA通过罗马实验室合同F30602-97-C-0312，由DARPA和NASA通过NAS2-98073，海军研究办公室N00014-99-C-0198和国家科学基金会授予CCR-9505960和CCR支持-9633363和CCR-9900334。

代理获取

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

页面导航

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

著录项

作者
Denker G.; Meseguer J.; Talcott C.;
展开▼
作者单位

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

相似文献

外文文献

1. Parameterized Theories and Views in Full Maude 2.0⋆⋆Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312 and NASA Contract NAS2-98073, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grants CCR-9900334. [O] . Durán Francisco, Meseguer José 2000

机译：Full Maude 2.0中的参数化理论和视图⋆由DARPA通过罗马实验室合同F30602-97-C-0312和NASA合同NAS2-98073，海军研究办公室N00014-99-C-0198和美国国家科学基金会授予CCR-9900334的支持。
2. Office of Naval Research/DARPA Publications for Contract N00014-89-J-1961. Composite Materials with Improved Properties in Compression. [R] . Weber, W. P. 1993

机译：海军研究办公室/ DaRpa合同出版物N00014-89-J-1961。压缩性能改善的复合材料。

著录项

引文网络

相似文献

相关主题

期刊订阅