Login / Signup
Natural Resources and their Use for Checkability Increasing the Digital Components of Safety-Critical Systems.
Julia V. Drozd
Alexander V. Drozd
Julian Sulima
Published in:
Int. J. Comput. (2012)
Keyphrases
</>
safety critical
safety analysis
formal methods
fault tolerant
embedded systems
support systems
natural resources
distributed systems
agent architecture
information systems
expert systems
information technology
management system
real time
database systems
adaptive systems
machine learning