C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Comparative Study of Rendering Devices for Safety-Critical Applications in Operative Control Rooms.
Syed Muhammad Umair Arif
Pramit Mazumdar
Federica Battisti
Published in:
ISPA (2019)
Keyphrases
</>
safety critical
embedded systems
safety analysis
formal methods
fault tolerant
agent architecture
real time
control system
nuclear power plant
data mining
model checking
support systems