Research on the intellectual traffic flow control system based on multi-agent along with self-governing vehicle and system of wireless sensor network

von Cao, Chengtao
Veröffentlicht in International journal of networking and virtual organisations (2018)

Apply Formal Methods in Certifying the SyberX High-Assurance Kernel

von Xu, Wenjing
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)