Sign in
Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems.
Kazuya Aizawa
Kenji Tei
Shinichi Honiden
Published in:
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2019)
Keyphrases
</>
space reduction
safety analysis
data analysis
image analysis
quantitative analysis
artificial neural networks
management system
computer systems
complex systems
retrieval systems
safety critical
information retrieval
state space
building blocks
support systems