Items where authors include "Nenchev, Vladislav"

[up] Up a level
Jump to: Article
Number of items: 1.

Article

Nenchev, Vladislav, Imrie, Calum Corrie, Gerasimou, Simos orcid.org/0000-0002-2706-5272 et al. (1 more author) (2025) Compositional code-level safety verification for automated driving controllers. Journal of Systems and Software. 112499. ISSN 0164-1212

This list was generated on Sat Sep 13 08:28:14 2025 BST.