25th International Conference on Formal Methods for Industrial Critical Systems

被引：0
作者：
ter Beek, Maurice [1 ]
机构：
[1] CNR, ISTI, Rome, Italy
来源：
ERCIM NEWS | 2020年 / 123期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：5 / 5
页数：1
相关论文
共 2 条
[1]  
Garavel H., 2020 EXPERT SURVEY F, P3, DOI [10.1007/978-3-030-58298-2_1, DOI 10.1007/978-3-030-58298-2_1]
[2]  
ter Beek, 2020, LECT NOTES COMPUTER, V12327, DOI [10.1007/978-3-030-58298-2, DOI 10.1007/978-3-030-58298-2]
1