@dblp

Design of safety-critical Java level 1 applications using affine abstract clocks.

, and . M-SCOPES, page 58-67. ACM, (2013)

Links and resources

Tags