Login / Signup
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
Published in:
ATVA (2021)
Keyphrases
</>
international symposium
lecture notes
revised papers
computational intelligence
ambient intelligence
computer science
data analysis
artificial intelligence
united states
intelligent systems
book constitutes the refereed proceedings