ARCH-COMP 2020 Category Report: Falsification

ARCH-COMP 2020 Category Report: Falsification
复制标题

ARCH-COMP 2020 类别报告：造假

DOI：
10.29007/trr1
复制
发表时间：
2020
期刊：
7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
影响因子：
--
通讯作者：
Zhang Zhenya
Zhang Zhenya
中科院分区：
--
文献类型：
--
作者：
Ernst Gidon;Arcaini Paolo;Bennani Ismail;Donze Alexandre;Fainekos Georgios;Frehse Goran;Mathesen Logan;Menghi Claudio;Pedrielli Giulia;Pouzet Marc;Yaghoubi Shakiba;Yamagata Yoriyuki;Zhang Zhenya

文献摘要

相似文献