返回首页
-
CCSP2022优胜高校谈：CCSP在苏州大学
2022-12-21 -
CCF标准工委召开2022年全体委员会议
2022-12-212022年12月10日，CCF标准工委召开2022年全体委员会议，标准工委主任崔宝秋做全年工作报告，多位CCF专委代表列席会议并提出建议。
-
CCF分布式计算与系统专业委员会走进中国地质大学（武汉）成功召开
2022-12-202022年12月17日，由CCF主办，CCF分布式计算与系统专业委员会、中国地质大学（武汉）承办的CCF走进高校活动第910期暨“分布式系统与软件论坛”，在线上成功召开。
-
CCF分布式计算与系统专委走进武汉科技大学学术报告会成功举办
2022-12-202022年12月17日上午，由CCF主办，CCF分布式计算与系统专业委员会和武汉科技大学计算机科学与技术学院联合承办的“CCF分布式计算专委走进武科大学术报告会”在线上成功举行。
-
-
-
质量与效能 | TF84活动回顾
2022-12-1611月29日，CCF TF84“质量与效能”在线成功举办，就如何应对业务高速发展背景下质量与效能的平衡问题，以及有效提升的创新方法和实践，三位专家展开系统思考和探讨。
-
联手形式化方法专业委员会：“线性时序逻辑”术语发布|CCF术语快线
2022-12-16线性时序逻辑(Linear temporal logic, 简称LTL)由阿米尔·伯努利在1977年提出[10]，它将时间轴定义为一个线性序列，用于表示模型的动态语义，应用时序运算符描述从一个给定的状态开始的某一条路径上的事件。
京公网安备 11010802032778号
