An Evaluation of Safety-Critical Java on a Java Processor.

Juan Ricardo Rios Martin Schoeberl

Published in: ISORC (2014)

Keyphrases

safety critical
programming language
open source
object oriented
source code
database applications
formal methods
computational intelligence
safety analysis