Inproceedings,

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

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews