An Automata-Theoretic Approach to Open Actor System Verification

机译：自动机理论的开放演员系统验证方法

代理获取

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

页面导航

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

著录项

作者
Kurnia Ilham W.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An automata-theoretic approach to the verification of distributed algorithms [J] . C. Aiswarya, Benedikt Bollig, Paul Gastin Information and computation . 2018,第PTa3期

机译：一种自动机理论的分布式算法验证方法
2. An Automata-Theoretic Approach to the Verification of Distributed Algorithms [J] . Cyriac Aiswarya, Benedikt Bollig, Paul Gastin LIPIcs : Leibniz International Proceedings in Informatics . 2015,第2期

机译：一种自动机理论的分布式算法验证方法
3. An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains [J] . Frenkel Hadar, Grumberg Orna, Sheinvald Sarai Journal of Automated Reasoning . 2019,第4期

机译：自动机 - 理论方法，用于通过无限数据域模拟检查系统和规格的方法
4. An Automata-Theoretic Approach to Hardware/Software Co-verification [C] . Juncao Li, Fei Xie, Thomas Ball, Fundamental approaches to software engineering . 2010

机译：硬件/软件协同验证的自动机理论方法
5. Non-state actors in global political processes: A social systems approach. [D] . Klingensmith, Mary Lou. 1999

机译：全球政治进程中的非国家行为者：一种社会系统方法。
6. Modelling Consciousness within Mental Monism: An Automata-Theoretic Approach [O] . Peter B. Lloyd 2020

机译：精神宗教信仰中的建模意识：自动性理论方法
7. An Automata-Theoretic Approach to the Verification of Distributed Algorithms [O] . Aiswarya Cyriac, Bollig Benedikt, Gastin Paul 2015

机译：分布式算法验证的自动理论方法

An Automata-Theoretic Approach to Open Actor System Verification

著录项

引文网络

相似文献

相关主题

期刊订阅