Hardware Support for Safety-Critical Java Scope Checks.

Juan Ricardo Rios Martin Schoeberl

Published in: ISORC (2012)

Keyphrases

safety critical
embedded systems
support systems
nuclear power plant
low cost
decision support
programming language
open source
database applications
agent architecture
formal methods
source code
real time
database design
control system
learning process
expert systems
database systems