ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL	http://purl.org/net/epubs/work/37429
Record Status	Checked
Record Id	37429
Title	Foreword: selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria
Contributors	A Butterfield (O'Reilly Institute, Trinity College, Dublin 2, Ireland) (Ed.), JC Bicarregui (CCLRC Rutherford Appleton Lab.) (Ed.), AE Arenas (CCLRC Rutherford Appleton Lab.) (Ed.)
Abstract
Organisation	CCLRC , ESC
Keywords	Engineering
Funding Information
Related Research Object(s):
Licence Information:
Language	English (EN)

Type	Details	URI(s)	Local file(s)	Year
Journal Article	Formal Methods in System Design 30, no. 3 (2007): 177-178. Is in proceedings of: Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, Austria, 20-21 Sept 2004.	doi:10.1007/s10703-006-0032-z		2007