区块链与数据安全全重实验室论文被ACM FAC期刊选为2023 Featured Article
2024-03-08
近日,区块链与数据安全全国重点实验室赵永望教授团队的论文《Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B》,被ACM Formal Aspects of Computing(FAC)期刊遴选为2023年度 Featured Article。FAC期刊创刊于1989年,是形式化方法领...