首页> 外文OA文献 >Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)

【2h】

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)

机译：纠正：从高级应用域（超越软件）的运行时验证挑战调查

代理获取

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

页面导航

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

著录项

作者
César Sánchez; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo; Yliès Falcone; Adrian Francalanza; Srdan Krstić; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; Jose Rufino; Julien Signoles; Dmitriy Traytel; Alexander Weiss;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) [J] . Sanchez Cesar, Schneider Gerardo, Ahrendt Wolfgang, Formal Methods in System Design . 2019,第1期

机译：纠正：从高级应用域（超越软件）的运行时验证挑战调查
2. A survey of challenges for runtime verification from advanced application domains (beyond software) [J] . Sanchez Cesar, Schneider Gerardo, Ahrendt Wolfgang, Formal Methods in System Design . 2019,第3期

机译：来自高级应用程序域（软件之外）的运行时验证挑战的调查
3. Smart cities survey Technologies, application domains and challenges for the cities of the future [J] . Ruben Sánchez-Corcuera, Adrián Nu?ez-Marcos, Jesus Sesma-Solance, International Journal of Distributed Sensor Networks . 2019,第6期

机译：智慧城市调查未来城市的技术，应用领域和挑战
4. Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software: Advances, Applications and Research Challenges [C] . Radu Calinescu, Simos Gerasimou, Kenneth Johnson, International Seminar on Software Engineering for Self-Adaptive Systems . 2017

机译：利用运行时定量验证为自适应软件提供保证证据：进步，应用和研究挑战
5. A Runtime Verification and Validation Framework for Self-Adaptive Software. [D] . Sayre, David B. 2017

机译：自适应软件的运行时验证和确认框架。
6. Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments [O] . Lei Hang, Do-Hyeun Kim 2020

机译：基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
7. A survey of challenges for runtime verification from advanced application domains (beyond software) [O] . César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, 2019

机译：来自高级应用领域的运行时验证挑战调查（超越软件）
8. Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2 [R] . 1995

机译：专家系统软件和传统软件的验证和确认指南：传统软件验证和验证方法的调查和评估。第2卷

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)

著录项

引文网络

相似文献

相关主题

期刊订阅