Edited proceedings for High Assurance System Engineering, IEEE CS Press, 2008 (2008)
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