Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems

Ana Cavalcanti; Laure Petrucci; Cristina Seceleanu

首页> 外文期刊>ERCIM News >Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems

【24h】

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems

机译：第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The yearly workshop of the ERCIM Working Group onFormal Methods for Industrial Critical Systems (FMICS)was organised as a joint event together with theworkshop on Automated Verification of Critical Systems(AVoCS). The resulting FMICS-AVoCS 2017 workshop tookplace on 18-20 September in Turin, hosted by theUniversity of Turin.

机译：ERCIM工作组的年度讲习班的工业关键系统（FMIC）是与关键系统自动验证（AVOCs）的自动验证的联合活动组织。由此产生的FMICS-AVOCS 2017工作坊于9月18日至20日在都灵，由都灵举办。

著录项

来源
《ERCIM News》 |2018年第112期|共1页
作者
Ana Cavalcanti; Laure Petrucci; Cristina Seceleanu;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems [J] . Ana Cavalcanti, Laure Petrucci, Cristina Seceleanu ERCIM News . 2018,第ERCIMaNEWSa112期

机译：第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
2. Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria [J] . Andrew Butterfield, Juan C. Bicarregui, Alvaro Arenas Formal Methods in System Design . 2007,第3期

机译：前言：奥地利林茨第九届国际工业关键系统形式方法国际研讨会论文选集（FMICS 04）
3. 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 [J] . Stefania Gnesi, Diego latella Formal Methods in System Design . 2001,第2期

机译：简介：ERCIM工业关键系统形式方法工作组第四次国际研讨会特刊，特伦托，1999年7月11日至12日
4. 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019) [C] . Alejandra Ruiz, Jose Luis de la Vara, John Favaro, International Conference on Computer Safety, Reliability, and Security;International Workshop on Assurance Cases for Software-Intensive Systems;ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems;International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems;International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms;International Workshop on Artificial Intelligence Safety Engineering . 2019

机译：第八届安全关键系统的下一代系统保证方法国际研讨会（SASSUR 2019）
5. Employability and critical thinking: A comparison of workshops to classes for unemployed adults [D] . Chastang, Carl E. 2015

机译：就业能力和批判性思维：针对失业成年人的讲习班与课堂比较
6. Proceedings of the 22nd International Stroke Genetics Consortium Workshops [O] . Y.M. Ruigrok, A. Ilinca, S. Samuelsson, 2018

机译：第22届国际中风遗传学联盟研讨会论文集
7. Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3–4, 2000—selected papers [O] . Garavel Hubert, Gnesi Stefania, Schieferdecker Ina 2003

机译：ERCIM工业关键系统形式方法工作组第五次国际研讨会特别刊物，2000年4月3日至4日，柏林

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems

摘要

著录项

相似文献

相关主题

期刊订阅