Safety-Critical Java: level 2 in practice.

Matt Luckcuck Andy J. Wellings Ana Cavalcanti

Published in: Concurr. Comput. Pract. Exp. (2017)

Keyphrases

safety critical
fault tolerant
formal methods
embedded systems
support systems
web services
open source
safety analysis
real time
databases
cooperative