Specifying, Predicting, and Verifying the Timing Properties of Hard- Real-Time Programming Languages and Systems
Keyword(s):
2009 ◽
Vol 20
(10)
◽
pp. 2628-2636
◽
Keyword(s):
2020 ◽
Vol 10
(1)
◽
pp. 63-78
Keyword(s):