39 citations · 78 across the 4 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…