C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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