首页> 外文OA文献 >Verification and behaviour abstraction - towards a tractable verification technique for large distributed systems

【2h】

Verification and behaviour abstraction - towards a tractable verification technique for large distributed systems

机译：验证和行为抽象 - 面向大型分布式系统的易处理验证技术

页面导航

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

著录项

作者
Nitsche U.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Programming Language Abstractions for Modularly Verified Distributed Systems [J] . James R. Wilcox, Ilya Sergey, Zachary Tatlock LIPIcs : Leibniz International Proceedings in Informatics . 2017,第4期

机译：模块化验证分布式系统的编程语言抽象
2. A formal framework for verifying distributed embedded systems based on abstraction methods [J] . Francois Carcenac, Frederic Boniol International Journal on Software Tools for Technology Transfer . 2006,第6期

机译：基于抽象方法的分布式嵌入式系统验证的正式框架
3. An automatic abstraction technique for verifying featured, parameterised systems [J] . M. Calder, A. Miller Theoretical computer science . 2008,第3期

机译：验证特征参数化系统的自动抽象技术
4. Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems [C] . Sung Woo Jeon, Sayan Mitra IEEE Security and Privacy Workshops . 2021

机译：分布式网络物理系统的建模和安全验证的Egocentric抽象
5. Automatic structural abstraction techniques for enhanced verification. [D] . Baumgartner, Jason Raymond. 2002

机译：自动结构抽象技术可增强验证能力。
6. Dosimetric validation and clinical implementation of two 3D dose verification systems for quality assurance in volumetric‐modulated arc therapy techniques [O] . Francisco Clemente‐Gutiérrez, Consuelo Pérez‐Vara 2015

机译：剂量学验证和两个3D剂量验证系统的临床实施以在容积调制电弧治疗技术中确保质量
7. Verification and Behavior Abstraction - Towards a Tractable Verification Technique for Large Distributed Systems [O] . Ulrich Nitsche 1996

机译：验证和行为抽象-面向大型分布式系统的可实践验证技术

Verification and behaviour abstraction - towards a tractable verification technique for large distributed systems

著录项

引文网络

相似文献

相关主题

期刊订阅