A Comprehensive Formalization of AADL with Behavior Annex.

Yu Tan Yongwang Zhao Dianfu Ma Xuejun Zhang

Published in: Sci. Program. (2022)

Keyphrases

case study
search engine
search algorithm
formal model
human behavior
behavior patterns
neural network
real world
image processing
web services
image sequences
multiresolution
open source
behavior analysis