39 citations · 116 across the 15 of their papers we have counts for
1 paper · 1 filter
Frank Zeyda, Ana Cavalcanti
Safety-Critical Java (SCJ) is a recent technology that restricts the execution and memory model of Java in such a way that applications can be statically analysed and certified for…