ePubs

The open archive for STFC research publications

⚠ ePubs is undergoing scheduled maintenance on 06/12/2022 between 08:30-09:00 and the service will be unavailable during this time.

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.), J C Bicarregui (Science and Technology Facilities Council) (Ed.), A E Arenas (Science and Technology Facilities Council) (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 September 2004.	https://doi.org/1…07/s10703-006-0032-z		2007