Login / Signup
Checkability of the digital components in safety-critical systems: Problems and solutions.
Alexander V. Drozd
Vyacheslav S. Kharchenko
Svetlana Antoshchuk
Yulian Sulima
Miroslav Drozd
Published in:
EWDTS (2011)
Keyphrases
</>
safety critical
fault tolerant
formal methods
safety analysis
nuclear power plant
decision making
embedded systems
agent architecture
adaptive systems
machine learning
knowledge base
management system
intelligent systems