Refinement Strategies for Safety-Critical Java.

Alvaro Miyazawa Ana Cavalcanti

Published in: SBMF (2015)

Keyphrases

safety critical
fault tolerant
formal methods
safety analysis
agent architecture
nuclear power plant
embedded systems
support systems
regulatory requirements
programming language
source code
web services
object oriented
open source
adaptive systems
machine learning