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