Browsing "School of Electrical and Data Engineering" byAuthorZafar, NA
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2016-01-01 | Formal verification and validation of a movement control actor relocation algorithm for safety–critical applications | Imran, M; Zafar, NA; Alnuem, MA; Aksoy, MS; Vasilakos, AV |