The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/33769
Record Status Checked
Record Id 33769
Title Information Systems Research and Development at CCLRC - Accelerating Innovation Through Technology Transfer
Abstract We survey current work in Information Modelling and Analysis, Security and Trust Management, and Web and Grid Technology at CCLRC. We give our motivation for the use of Formal Methods in strategic research and technology transfer in these fields and outline some research challenges for these activities.
Organisation CCLRC , BITD
Keywords Engineering
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings ENTCS 80 2003 Electronic Notes in Theoretical Computer Science . Is in proceedings of: ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) . doi:10.1016/S1571-0661(04)80823-5 fmics03bicarregui.pdf 2003