14th ERCIM Formal Methods for Industrial Critical Systems Workshop

被引：0

作者：

Alpuente, Maria ^{[1
]}

Cook, Byron ^{[1
]}

Joubert, Christophe ^{[1
]}

机构：

[1] Univ Politecn Valencia, SpaRCIM, Valencia, Spain

来源：

ERCIM NEWS | 2010年 / 80期

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

页码：6 / 6

页数：1

共 50 条

[21] Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11-12, 1999 - Selected papers
Gnesi, S
Latella, D
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (02) : 119 - 120
[22] The 14th Linguistic Annotation Workshop
Dipper, Stefanie
Zeldes, Amir
[J]. 14th Linguistic Annotation Workshop, LAW 2020 - Proceedings, 2020,
[23] 14TH INTERNATIONAL HORN WORKSHOP
AGRELL, J
[J]. WOODWIND BRASS & PERCUSSION, 1983, 22 (02): : 16 - 17
[24] Dependable Embedded Systems and Formal Methods for Industrial Critical Systems
Schoitsch, Erwin
[J]. ERCIM NEWS, 2009, (78): : 9 - 9
[25] 14th IFAC Workshop on Time Delay Systems TDS 2018
Stepan, Gabor
Insperger, Tamas
[J]. IFAC PAPERSONLINE, 2018, 51 (14): : VI - VI
[26] On Education and Training in Formal Methods for Industrial Critical Systems
Westphal, Bernd
[J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2021, 2021, 12863 : 85 - 103
[27] Formal Methods for Industrial Critical Systems: A Survey of Applications
不详
[J]. ERCIM NEWS, 2013, (94): : 42 - 42
[28] 14th Conservation Workshop for the Biodiversity of Arabia
Seddon, Philip
Knight, Mike
Mallon, David
[J]. ORYX, 2013, 47 (03) : 326 - 327
[29] FMICS'23 - 28th International Conference on Formal Methods for Industrial Critical Systems
ter Beek, Maurice
[J]. ERCIM NEWS, 2023, (135): : 6 - 6
[30] Special issue on the First International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected papers
Gnesi, S
Latella, D
[J]. FORMAL METHODS IN SYSTEM DESIGN, 1998, 12 (02) : 123 - 124

← 1 2 3 4 5 →