research
∙
05/27/2018
A Formal Model of the Safety-Critical Java Level 2 Paradigm
Safety-Critical Java (SCJ) introduces a new programming paradigm for app...
research
∙
05/27/2018