Skip to content

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

Adnan Bouakaz, Jean-Pierre Talpin

VenueCSCOPES
Year2013
ProceedingsM-SCOPES

Browse the full SCOPES paper archive.