Andy Wellings | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Matt Luckcuck
22 publications
Ana Cavalcanti
13 publications

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...

0 Matt Luckcuck, et al. ∙

research

∙ 05/27/2018

Safety-Critical Java: Level 2 in Practice

Safety Critical Java (SCJ) is a profile of the Real-Time Specification f...

0 Matt Luckcuck, et al. ∙