Edited proceedings for High Assurance System Engineering, IEEE CS Press, 2008 (2008)
Attributed to:
The White Rose Grid e-Science Centre
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4708846
Type: Conference/Paper/Proceeding/Abstract
Parent Publication: High Assurance System Engineering