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

Formal Methods in System Design, pp. 72-72, 2019.

被引用0|引用|浏览23|来源
EI

摘要

The correct name of the seventh author is Yliès Falcone.

代码

数据

您的评分 :
0

 

标签
评论