第十一届IEEE高可信系统工程国际研讨会(The 11th IEEE High Assurance Systems Engineering Symposium)将于 2008年12月 3-5日在南京举行。 该会议由IEEE计算机协会主办,本次会议由南京大学软件新技术国家重点实验室、南京大学计算机科学与技术系承办,与会人员主要来自世界各地高可信系统领域的研究人员,会议规模为80左右,其中外宾约40人。 会议主题和主要内容:本次会议主题涉及高可信系统研究的所有方面,包括系统可靠性,可生存性,安全性,时间约束保证等方面的研究和开发方法。高可信系统的形式化分析与验证技术,面向嵌入式系统和Web 服务系统的可信开发,分析,评估与测试方法等。 |
