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 条

[41] REPORT ON THE 14TH ISBT PLATELET IMMUNOLOGY WORKSHOP
Wu, G. G.
Kaplan, C.
Curtis, B.
Pearson, H.
[J]. VOX SANGUINIS, 2010, 99 : 390 - 390
[42] Multiscale Modelling and Simulation, 14th International Workshop
Groen, Derek
Bosak, Bartosz
Krzhizhanovskaya, Valeria
Hoekstra, Alfons
Koumoutsakos, Petros
[J]. INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE (ICCS 2017), 2017, 108 : 1811 - 1812
[43] Industrial Forum, October 14th, 1996
Duffar, T
Nabot, JP
[J]. JOURNAL OF CRYSTAL GROWTH, 1997, 180 (3-4) : 711 - 713
[44] 14TH ANNUAL CONGRESS ON INDUSTRIAL HEALTH
不详
[J]. JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1954, 154 (04): : 340 - 341
[45] The 14th International Workshop on Mobile Computing Systems and Applications (ACM HotMobile 2013)
Clinch, Sarah
Martins, Marcelo
[J]. MOBILE COMPUTING AND COMMUNICATIONS REVIEW, 2013, 17 (02) : 1 - 6
[46] 14th READ conference & 15th EWADE workshop
Goetzendorf-Grabowski, Tomasz
[J]. AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 2021, 93 (09): : 1385 - 1386
[47] REPORT ON DCFS 2012 14th International Workshop on Descriptional Complexity of Formal Systems Braga, Portugal, July 23-25, 2012
Malcher, Andreas
[J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2012, (108): : 168 - 169
[48] Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria
Andrew Butterfield
Juan C. Bicarregui
Alvaro Arenas
[J]. Formal Methods in System Design, 2007, 30 : 177 - 178
[49] Foreword: Selected papers from the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, Austria
Butterfield, Andrew
Bicarregui, Juan C.
Arenas, Alvaro
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2007, 30 (03) : 177 - 178
[50] WPES 2015: The 14th Workshop on Privacy in the Electronic Society
Hopper, Nicholas
Jansen, Rob
[J]. CCS'15: PROCEEDINGS OF THE 22ND ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2015, : 1719 - 1720

← 1 2 3 4 5 →