Login / Signup
The use of natural resources for increasing a checkability of the digital components in safety-critical systems.
Alexander V. Drozd
Vyacheslav S. Kharchenko
Svetlana Antoshchuk
J. V. Drozd
M. V. Lobachev
Yulian Sulima
Published in:
EWDTS (2013)
Keyphrases
</>
safety critical
formal methods
fault tolerant
safety analysis
management system
embedded systems
support systems
cooperative
software components
databases
mobile devices
adaptive systems
database
distributed systems
agent architecture
natural resources