首页> 外文OA文献 >CoCon: A Conference Management System with Formally Verified Document Confidentiality

【2h】

CoCon: A Conference Management System with Formally Verified Document Confidentiality

机译：Cocon：一个具有正式验证的文件保密的会议管理系统

代理获取

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

页面导航

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

著录项

作者
Andrei Popescu; Peter Lammich; Ping Hou;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. CoCon: A Conference Management System with Formally Verified Document Confidentiality [J] . Popescu Andrei, Lammich Peter, Hou Ping Journal of Automated Reasoning . 2021,第2期

机译：Cocon：一个具有正式验证的文件保密的会议管理系统
2. Supervisory Energy-Management Systems for Microgrids: Modeling and Formal Verification [J] . Sugumar Gayathri, Selvamuthukumaran Rajasekar, Novak Mateja, IEEE industrial electronics magazine . 2019,第1期

机译：微电网监督能源管理系统：建模和形式验证
3. Supervisory Energy-Management Systems for Microgrids: Modeling and Formal Verification [J] . Sugumar Gayathri, Selvamuthukumaran Rajasekar, Novak Mateja, IEEE industrial electronics magazine . 2019,第1期

机译：微电网监管能源管理系统：建模和正式验证
4. A Conference Management System with Verified Document Confidentiality [C] . Sudeep Kanav, Peter Lammich, Andrei Popescu Computer aided verification . 2014

机译：具有经过验证的文件机密性的会议管理系统
5. Integration of Dynamic Power Management Strategies for System-Level Power Optimization (Low-Power Design) with Its Formal Verification and Implementation. [D] . Ramanbhai, Bhatt Kiritkumar. 2012

机译：用于系统级电源优化（低功耗设计）的动态电源管理策略及其形式验证和实现的集成。
6. Formal Verification of Control Modules in Cyber-Physical Systems [O] . Iwona Grobelna 2020

机译：网络物理系统中控制模块的正式验证
7. A Conference Management System with Verified Document Confidentiality [O] . Sudeep Kanav, Peter Lammich, Andrei Popescu 2014

机译：验证文档保密的会议管理系统

CoCon: A Conference Management System with Formally Verified Document Confidentiality

著录项

引文网络

相似文献

相关主题

期刊订阅