Login / Signup
Formalization and Verification of the PSTM Architecture.
Ailun Liu
Miroslav Popovic
Huibiao Zhu
Published in:
APSEC (2017)
Keyphrases
</>
software architecture
formal model
formal analysis
real time
model checking
multi layer
architectural design
neural network
machine learning
computer vision
image processing
image sequences
network architecture
design considerations