本文介绍了2024年11月11日至13日举行的第六届自主系统形式方法国际研讨会（FMAS 2024），旨在推动自主系统正式验证方法的研究与学术交流。

第六届自主系统形式方法国际研讨会会议录
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证