Login / Signup
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
Published in:
ATVA (2022)
Keyphrases
</>
international symposium
lecture notes
computational intelligence
revised papers
ambient intelligence
data analysis
multi agent systems
computer science