CAREER: Towards a Secure and Reliable Internet of Things through
 Automated Model Extraction and Analysis

  • Posters
  • Applied Software Systems
  • Formal Methods and Language-based Security Privacy
  • CNS-1942235
  • SaTC PI Meeting 2022
Submitted by Jason Gigax on