16th ERCIM Workshop on formal Methods for Industrial Critical Systems

被引：0

作者：

Salauen, Gwen ^{[1
]}

Schaetz, Bernhard ^{[2
]}

机构：

[1] INRIA, Grenoble INP, Grenoble, France

[2] Fortiss GmbH, Munich, Germany

来源：

ERCIM NEWS | 2011年 / 87期

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

The 16th ERCIM International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11) was held on 29-30 August 2011 in Trento, Italy. The workshop was held together with the 19th IEEE International Requirements Engineering Conference (RE 2011)

引用

页码：9 / 9

页数：1