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

Adnan Bouakaz, Jean-Pierre Talpin. Design of safety-critical Java level 1 applications using affine abstract clocks. In Henk Corporaal, Sander Stuijk, editors, International Workshop on Software and Compilers for Embedded Systems, M-SCOPES '13, Sankt Goar, Germany, June 19-21, 2013. pages 58-67, ACM, 2013. [doi]