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 条

[31] 14th IFAC Workshop on Adaptive and Learning Control Systems ALCOS 2022
[J]. IFAC-PapersOnLine, 2022, 55 (12)
[32] 14th IFAC Workshop on Discrete Event Systems WODES 2018 FOREWORD
Basile, Francesco
Hadjicostis, Chris
Komenda, Jan
De Tommasi, Gianmaria
[J]. IFAC PAPERSONLINE, 2018, 51 (07):
[33] Preface of the special issue on formal methods in industrial critical systems
Gudemann, Matthias
Nunez, Manuel
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (04) : 391 - 393
[34] Preface of the special issue on formal methods in industrial critical systems
Matthias Güdemann
Manuel Núñez
[J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 391 - 393
[35] 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
Stefania Gnesi
Diego Latella
[J]. Formal Methods in System Design, 1998, 12 : 123 - 124
[36] CHANTS'19: 14th Workshop on Challenged Networks
Bayhan, Suzan
Tsiropoulo, Eirini Eleni
[J]. MOBICOM'19: PROCEEDINGS OF THE 25TH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE COMPUTING AND NETWORKING, 2019,
[37] Special Issue on the 14th Annual Fall Workshop
Iacono, John
[J]. COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 2010, 43 (01): : 1 - 1
[38] 14th Workshop on Fetal Cells and Fetal DNA
Liehr, T
Weier, HUG
[J]. JOURNAL OF HISTOCHEMISTRY & CYTOCHEMISTRY, 2005, 53 (03) : 253 - 254
[39] THE 14TH EUROPEAN WORKSHOP ON DRUG-METABOLISM
JUGERT, FK
[J]. SKIN PHARMACOLOGY, 1995, 8 (05): : 266 - 267
[40] 14th European Workshop on Lignocellulosics and Pulp (EWLP)
Chirat, Christine
[J]. HOLZFORSCHUNG, 2017, 71 (7-8) : 543 - 544

← 1 2 3 4 5 →