Deploying crowd-sourced formal verification systems in a DoD network

机译：在国防部网络中部署众包形式的正式验证系统

代理获取

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

页面导航

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

摘要

Approved for public release; distribution is unlimited

机译：批准公开发布；发行是无限的

著录项

作者
Dumlupinar Mahmut Firuz;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems [J] . Youngdong Kim, Ikhwan Kim, Inhye Kang, Journal of Universal Computer Science . 2014,第14期

机译：网络运动控制系统电机驱动软件的形式化建模与验证
2. Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification [J] . S. Grizalis, D. Spinellis, P. Georgiadis Computer Communications . 1999,第8期

机译：开放网络和分布式系统上的安全协议：用于分析，设计和验证的正式方法
3. Crowd-Sourced Verification of Computational Methods and Data in Systems Toxicology: A Case Study with a Heat-Not-Burn Candidate Modified Risk Tobacco Product [J] . Poussin Carine, Belcastro Vincenzo, Martin Florian, Chemical research in toxicology . 2017,第4期

机译：人群核查系统毒理学中的计算方法和数据验证：以热量燃烧候选修改风险烟草产品为例
4. Automatic verification of uml state chart by bogor model checking tool: Automatic formal verification of network and distributed systems [C] . Behzad Soleimani Neysian, Seyed Morteza Babamir International Conference on Knowledge-Based Engineering and Innovation . 2015

机译：通过茂物模型检查工具自动验证uml状态图：网络和分布式系统的自动形式验证
5. The Sensor Network Workbench: Towards functional specification, verification and deployment of constrained distributed systems. [D] . Ocean, Michael James. 2009

机译：传感器网络工作台：进行功能规范，约束分布式系统的验证和部署。
6. A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks [O] . Alessandro Testa, Marcello Cinque, Antonio Coronato, 2017

机译：设计和部署可靠的无线传感器网络的正式方法论
7. Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification [O] . S. Gritzalisa, D. Spinellisc, P. Georgiadisd 2014

机译：开放网络和分布式系统上的安全协议：用于分析，设计和验证的正式方法

Deploying crowd-sourced formal verification systems in a DoD network

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅