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 条

[41] Overview of the 25th SSBP International Research Symposium - A Virtual Conference
Heussler, H.
Kleburg, J. L.
de Vries, P.
Hageman, R.
JOURNAL OF INTELLECTUAL DISABILITY RESEARCH, 2023, 67 (09) : 805 - 806
[42] 25th International Conference on Pattern Recognition Workshops, ICPR 2020
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12665 LNCS
[43] Demonstrations Track of the 25th International Joint Conference on Artificial Intelligence
Linares Lopez, Carlos
AI COMMUNICATIONS, 2018, 31 (01) : 1 - 1
[44] 25th Annual Conference of the International Society for Quality of Life Research
Quality of Life Research, 2018, 27 (Suppl 1) : 1 - 190
[45] 2000 25th International Conference on Infrared and Millimeter Waves - Conference Digest: Preface
Liu, S.G.
Shen, X.C.
2000 25th International Conference on Infrared and Millimeter Waves - Conference Digest, 2000,
[46] Preface: 25th International Conference on Atomic Collisions in Solids (ICACS-25)
Ogawa, H.
Kaneko, T.
Iwase, A.
Takahiro, K.
Narumi, K.
NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION B-BEAM INTERACTIONS WITH MATERIALS AND ATOMS, 2013, 315 : 1 - 5
[47] THE 25TH CONFERENCE OF FID, A REPORT
ADKINSON, BW
SPECIAL LIBRARIES, 1959, 50 (10) : 497 - 497
[48] Introduction: The 25th conference and the association
Colman, David R.
Vink, Nick
AGRICULTURAL ECONOMICS, 2005, 32 : IX - XV
[49] 25TH IISI ANNUAL CONFERENCE
不详
IRONMAKING & STEELMAKING, 1991, 18 (06) : 390 - 391
[50] S&YP Forum at 2024 ICIT-The 25th IEEE International Conference on Industrial Technology
Vinnikov, Dmitri
IEEE INDUSTRIAL ELECTRONICS MAGAZINE, 2024, 18 (03) : 101 - 102

← 1 2 3 4 5 →