Foreword: Selected papers from the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, Austria

被引：0

作者：

Butterfield, Andrew ^{[1
]}

Bicarregui, Juan C.

Arenas, Alvaro

机构：

[1] Univ Dublin Trinity Coll, OReilly Inst, Dublin 2, Ireland

[2] CCLRC Rutherford Appleton Lab, Chilton, Oxon, England

来源：

关键词：

D O I：

10.1007/s10703-006-0032-z

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

No abstract available

引用

页码：177 / 178

页数：2