Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria

被引：0

作者：

Andrew Butterfield

Juan C. Bicarregui

Alvaro Arenas

机构：

[1] Trinity College,O’Reilly Institute

[2] CCLRC Rutherford Appleton Laboratory,undefined

[3] Chilton,undefined

来源：

Formal Methods in System Design | 2007年 / 30卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：177 / 178

页数：1

共 50 条

[21] 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
[22] SELECTED PAPERS FROM THE INTERNATIONAL SEMINAR ON PERFORMANCE OF DISTRIBUTED AND PARALLEL SYSTEMS - FOREWORD
HASEGAWA, T
TAKAGI, H
TAKAHASHI, Y
[J]. PERFORMANCE EVALUATION, 1989, 9 (04) : 245 - 246
[23] 25th International Conference on Formal Methods for Industrial Critical Systems
ter Beek, Maurice
[J]. ERCIM NEWS, 2020, (123): : 5 - 5
[24] Special section on Selected Papers from the 11th International Displays Workshop (IDW '04) - Introduction
Uchida, T
Sugiura, T
Shimodaira, Y
[J]. JOURNAL OF THE SOCIETY FOR INFORMATION DISPLAY, 2005, 13 (08) : 609 - 609
[25] Mobile object systems - Towards the programmable internet - Second International Workshop, MOS'96 - Linz, Austria, July 8-9, 1996 - Selected presentations and invited papers - Introduction
Vitek, J
Tschudin, C
[J]. MOBILE OBJECT SYSTEMS: TOWARDS THE PROGRAMMABLE INTERNET, 1997, 1222 : IX - X
[26] Special section of selected papers from the 12th Workshop on Circuits and Systems in Karuizawa - Foreword
Taguchi, A
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2000, E83A (03) : 393 - 393
[27] Special section of selected papers from the 13th Workshop on Circuits and Systems in Karuizawa - Foreword
Yamamura, K
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (03) : 697 - 697
[28] Special section on selected papers from the 17th workshop on Circuits and Systems in Karuizawa - Foreword
Muneyasu, M
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005, E88A (04) : 809 - 809
[29] Special section on selected papers from the 20th workshop on Circuits and Systems in Karuizawa - Foreword
Abe, Masahide
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2008, E91A (04) : 925 - 926
[30] Special Section of Selected Papers from the 15th Workshop on Circuits and Systems in Karuizawa - Foreword
Fujisawa, H
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2003, E86A (04) : 739 - 739

← 1 2 3 4 5 →