A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures

Jin Hyun Kim, Inhye Kang, Sungwon Kang, Abdeldjalil Boudjadar

Research output: Contribution to journalArticlepeer-review

12 Scopus citations

Fingerprint

Dive into the research topics of 'A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures'. Together they form a unique fingerprint.

Computer Science