C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Statistical Verification Framework for Platooning System of Systems with Uncertainty.
Sangwon Hyun
Jiyoung Song
Seungchyul Shin
Doo-Hwan Bae
Published in:
APSEC (2019)
Keyphrases
</>
main contribution
statistical analysis
database
genetic algorithm
data driven
complex systems
formal methods
issues that need to be addressed
information systems
metadata
clustering algorithm
video sequences
mobile devices
semi supervised
theoretical framework
statistical inference