Design of Safety-Critical Java Level 1 Applications Using Affine Abstract Clocks,” (2013)

by A Bouakaz, J-P Talpin
Venue:in International Workshop on Software and Compilers for Embedded Systems,