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

被引：0

|

作者：

Stefania Gnesi

Diego Latella

机构：

[1] CNR-IEI,

来源：

Formal Methods in System Design | 1998年 / 12卷

关键词：

Operating System; Working Group; International Workshop; Formal Method; Critical System;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：123 / 124

页数：1

相关论文

共 4 条

[1] 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
[2] 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
Stefania Gnesi
Diego Latella
[J]. Formal Methods in System Design, 2001, 19 : 119 - 120
[3] 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 - Preface
Garavel, H
Gnesi, S
Schieferdecker, I
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2003, 46 (03) : 195 - 196
[4] 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