1. A security modeling and verification method of embedded software based on Z and MARTE. Issue 88 (January 2020) Authors: Hu, Xinwen; Zhuang, Yi; Zhang, Fuyuan Journal: Computers & security Issue: Issue 88(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗