第十一届IEEE高可信系统工程国际研讨会(HASE08)

第十一届IEEE高可信系统工程国际研讨会(The 11th IEEE High Assurance Systems Engineering Symposium)将于 2008年12月 3-5日在南京举行。

该会议由IEEE计算机协会主办，本次会议由南京大学软件新技术国家重点实验室、南京大学计算机科学与技术系承办，与会人员主要来自世界各地高可信系统领域的研究人员，会议规模为80左右，其中外宾约40人。

会议主题和主要内容：本次会议主题涉及高可信系统研究的所有方面，包括系统可靠性，可生存性，安全性，时间约束保证等方面的研究和开发方法。高可信系统的形式化分析与验证技术，面向嵌入式系统和Web 服务系统的可信开发，分析，评估与测试方法等。