Login / Signup
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada.
Neeraj Kumar Singh
Andy J. Wellings
Ana Cavalcanti
Published in:
JTRES (2012)
Keyphrases
</>
safety critical
case study
open source
embedded systems
nuclear power plant
formal methods
fault tolerant
safety analysis
artificial intelligence
low cost
programming language
object oriented
case based reasoning
control system
database applications
semi automatic
decision support
agent architecture