Edited proceedings for High Assurance System Engineering, IEEE CS Press, 2008 (2008)

First Author: X. Li

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