Safety-Critical Java: Level 2 in Practice.

Matt Luckcuck Andy J. Wellings Ana Cavalcanti

Published in: CoRR (2018)

Keyphrases

safety critical
support systems
fault tolerant
nuclear power plant
safety analysis
object oriented
formal methods
embedded systems
machine learning
decision making
programming language
web services
expert systems