2023 journal article

Automatic modelling and verification of Autosar architectures

Journal of Systems and Software.

By: M. Zhang, Y. Teng, H. Kong, J. Baugh , Y. Su, J. Mi, B. Du

Source: ORCID
Added: March 12, 2023