活动简介
第十届构件化软件形式化方法国际研讨会 (FACS2013)及相关卫星会议于2013年10月在江西省南昌市召开。FACS国际会议由欧美多所著名大学联合发起，已在发达国家成功举办9届，决定在中国举办尚属首次。FACS2013包含的3个卫星活动是：理论制导的软件支撑工具研发国际研讨会（TTSS2013）、可信软件逻辑方法论坛（简称：LEDS2013）以及计算机软件前沿技术讲习班（Tutorials）。
征稿信息
征稿范围
The symposium seeks to address the development and application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to:
■ formal models for software components and their interaction
■ stochasti
留言