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

相关论文

共 50 条

[21] 25th International Conference on Conceptual Modeling (ER 2006)
Embley, David W.
Olive, Antoni
Chen, Peter
DATA & KNOWLEDGE ENGINEERING, 2007, 63 (03) : 699 - 700
[22] 25th International Conference of the Association of Cartography Dresden, Germany
Petrovic, Dusan
GEODETSKI VESTNIK, 2013, 57 (03) : 629 - 630
[23] The 25th International Conference on Case-Based Reasoning
Aha, David W.
Bach, Kerstin
Gundersen, Odd Erik
Lieber, Jean
AI MAGAZINE, 2018, 39 (02) : 79 - 80
[24] The 25th Anniversary Conference of the International Group for Lean Construction
Alves, Thais da C. L.
JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT, 2020, 146 (06)
[25] 25TH INTERNATIONAL CONFERENCE ON ADVANCED VEHICLE TECHNOLOGIES (AVT)
Balling, Ole
Bonfitto, Angelo
Proceedings of the ASME Design Engineering Technical Conference, 2023, 1
[26] 25th International AIDS Conference Abstract Supplement Abstracts
不详
JOURNAL OF THE INTERNATIONAL AIDS SOCIETY, 2024, 27 : 1 - 1
[27] 25TH CONFERENCE OF IUPAC
SCHAY, G
KEMIAI KOZLEMENYEK, 1970, 33 (01): : 103 - &
[28] 25TH IUPAC CONFERENCE AND INTERNATIONAL SYMPOSIUM ON ATMOSPHERIC POLLUTION
REES, ALG
BRECCIA, A
CHIMICA & L INDUSTRIA, 1969, 51 (11): : 1275 - &
[29] 25th EICF conference
Anon
Foundryman, 2002, 95 (10):
[30] 25th Aachen conference
Textile Month, 1999,

← 1 2 3 4 5 →