Showing results 1 to 1 of 1
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures Kim, Jin Hyun; Kang, Inhye; Kang, Sungwon; Boudjadar, Abdeldjalil, IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, v.12, no.2, pp.655 - 671, 2016-04 |
Discover