Java in the Safety-Critical Domain.

Ana Cavalcanti Alvaro Miyazawa Andy J. Wellings Jim Woodcock Shuai Zhao

Published in: SETSS (2016)

Keyphrases

safety critical
domain specific
formal methods
safety analysis
fault tolerant
object oriented
domain independent
agent architecture
nuclear power plant
web services
open source
embedded systems
artificial intelligence
reinforcement learning
programming language