High-Assurance Control [About This Issue]
暂无分享，去创建一个
[1] Kathleen Fisher. Using formal methods to enable more secure vehicles: DARPA's HACMS program , 2014, ICFP.
[2] Gernot Heiser,et al. Comprehensive formal verification of an OS microkernel , 2014, TOCS.
[3] Darren D. Cofer,et al. Requirements and Architectures for Secure Vehicles , 2016, IEEE Software.
[4] Tryphon T. Georgiou,et al. Prof. Rudolf Emil Kalman [Obituary] , 2017 .