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