Preface: Special Issue on Verification of Objects at Runtime Execution

Ancona Davide

首页> 外文期刊>Science of Computer Programming >Preface: Special Issue on Verification of Objects at Runtime Execution

【24h】

Preface: Special Issue on Verification of Objects at Runtime Execution

机译：前言：有关在运行时执行对象验证的特刊

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

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

著录项

来源
《Science of Computer Programming》 |2019年第1期|88-89|共2页
作者
Ancona Davide;
展开▼
作者单位

Univ Genoa DIBRIS Genoa Italy;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Preface: Special Issue on Verification of Objects at Runtime Execution [J] . Ancona Davide Science of Computer Programming . 2019,第Auga1期

机译：前言：有关在运行时执行对象验证的特刊
2. Introduction to the special issue of the 19th International Conference on Runtime Verification [J] . Finkbeiner Bernd, Mariani Leonardo International Journal on Software Tools for Technology Transfer . 2021,第4期

机译：第19届运行时验证国际会议特别问题简介
3. Introduction to the special issue on runtime verification [J] . Yliès Falcone, César Sánchez Formal Methods in System Design . 2018,第1期

机译：关于运行时验证的特殊问题简介
4. Runtime Fault Injection Detection for FPGA-based DNN Execution Using Siamese Path Verification [C] . Xianglong Feng, Mengmei Ye, Ke Xia, Design, Automation and Test in Europe Conference and Exhibition . 2021

机译：使用暹罗路径验证的基于FPGA的DNN执行运行时故障注射检测
5. Darts: A runtime based on the Codelet execution model. [D] . Suetterlein, Joshua. 2014

机译：飞镖：基于Codelet执行模型的运行时。
6. Preface of the special issue in memoriam and celebration of Donald S. Coffey from special issue senior guest editor [O] . Shawn E Lupold 2018

机译：特刊高级客座编辑为纪念和纪念唐纳德·科菲（Donald S.Coffey）撰写的特刊序言
7. Introduction to the special issue of the 19th International Conference on Runtime Verification [O] . Bernd Finkbeiner, Leonardo Mariani 2021

机译：第19届运行时验证国际会议特别问题简介

Preface: Special Issue on Verification of Objects at Runtime Execution

著录项

引文网络

相似文献

相关主题

期刊订阅