☆ 3.8 Proceedings Paper

Some Thoughts on Runtime Verification

RUNTIME VERIFICATION, (RV 2016) (2016)

获取全文
添加到收藏夹

期刊

RUNTIME VERIFICATION, (RV 2016)
卷 10012, 期 -, 页码 3-14

出版社

SPRINGER INTERNATIONAL PUBLISHING AG
DOI: 10.1007/978-3-319-46982-9_1

关键词

-

类别

Computer Science, Software Engineering Computer Science, Theory & Methods

向作者/读者索取更多资源

Protocol

社区支持

Reagent

社区支持

Some reflections on verification and runtime verification in general and of cyber-physical systems in particular.

作者

我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

3.8
评分不足

次要评分

新颖性
-
重要性
-
科学严谨性
-
评价这篇论文

推荐

暂无数据
暂无数据
研讨会 海报 问题 讨论圈 基金 期刊 论文 科研社交 资讯集成 审稿人 关于我们 常见问题 移动App 隐私条款 使用条款
© Peeref 2019-2024. All rights reserved.