形式化设计相关论文
集成了传感器、嵌入式计算、网络和无线通信四大技术而形成的无线传感器网络是一种全新的信息获取和处理技术,它是一种新型的无基......
安全协议是建立在密码学基础上的网络协议,用于确保网络通信的安全可靠。近年来,随着网络需求的不断增长,安全协议的设计研究也逐......
随着软件系统的结构越来越复杂,规模越来越庞大,复杂程度越来越高,软件出现错误的可能性及其造成的危害也日益突出。并发系统在以......
随着智能制造业和现代物流业的快速发展，自动导航车辆（Automated Guided Vehicle，AGV）已经广泛地应用于智能制造车间、自动化码头和立......
文件系统作为操作系统中数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法时微内核架构文件系统进行......
