C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Management-Control Integration for Safety-Critical Integration for Safety-Critical Discrete Operation System.
Liang Ma
Yadong Zhang
Xiaomin Wang
Published in:
ICCAIS (2018)
Keyphrases
</>
safety critical
nuclear power plant
fault tolerant
safety analysis
formal methods
agent architecture
embedded systems
support systems
real time
regulatory requirements
information systems
adaptive systems
management system
software engineering
context aware
monitoring system