2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SE2018★ 2 cited
A Formal Model of the Safety-Critical Java Level 2 Paradigm
Matt Luckcuck, Ana Cavalcanti, Andy Wellings
Safety-Critical Java (SCJ) introduces a new programming paradigm for applications that must be certified. The SCJ specification (JSR 302) is an Open Group Standard, but it does not…
cs.SE2018★ 1 cited
Safety-Critical Java: Level 2 in Practice
Matt Luckcuck, Andy Wellings, Ana Cavalcanti
Safety Critical Java (SCJ) is a profile of the Real-Time Specification for Java that brings to the safety-critical industry the possibility of using Java. SCJ defines three complia…