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
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