首页> 外文OA文献 >Transluscent Procedures, Abstraction Without Opacity

【2h】

Transluscent Procedures, Abstraction Without Opacity

机译：半透明的过程，没有不透明的抽象

代理获取

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

页面导航

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

著录项

作者
Guillermo J. Rozas;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement [J] . Mohajerani Sahar, Ji Yiding, Lafortune Stephane IEEE Transactions on Automatic Control . 2020,第8期

机译：基于组成和抽象的扫描性执行方法的编辑函数方法
2. Compositional Visible Bisimulation Abstraction Applied to Opacity Verification ? [J] . Mona Noori-Hosseini, Bengt Lennartson, Christoforos Hadjicostis IFAC PapersOnLine . 2018,第7期

机译：应用于不透明度验证的组合可见双仿真抽象？
3. Compositional Visible Bisimulation Abstraction Applied to Opacity Verification ? [J] . Mona Noori-Hosseini, Bengt Lennartson, Christoforos Hadjicostis IFAC PapersOnLine . 2018,第7期

机译：应用于不透明度验证的组合可见双仿真抽象？
4. Algorithmic Opacity: Making Algorithmic Processes Transparent through Abstraction Hierarchy [C] . Pragya Paudyal, B.L. William Wong Proceedings of the Human Factors and Ergonomics Society 2018 annual meeting . 2018

机译：算法不透明度：通过抽象层次结构使算法过程透明
5. Pulse switching: An ultra-light network paradigm without packet abstraction. [D] . Huo, Qiong. 2013

机译：脉冲交换：无数据包抽象的超轻型网络范例。
6. Comparison of two temporal abstraction procedures: a case study in predictionfrom monitoring data [O] . Marion Verduijn, Arianna Dagliati, Lucia Sacchi, 2005

机译：两种时间抽象程序的比较：预测中的案例研究从监控数据
7. Translucent Procedures, Abstraction without Opacity [O] . Rozas Guillermo J. 1993

机译：半透明程序，没有不透明度的抽象

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号