A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures
2016 ◽
Vol 12
(2)
◽
pp. 655-671
◽
Keyword(s):
2004 ◽
Vol 12
(2)
◽
pp. 191-245
◽
2005 ◽
Vol 38
(1)
◽
pp. 325-330
◽