Issa Li

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Group Communication

Formal Analysis

Top Venues

Publications

Zirong Chen, Issa Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma
CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization. CoRR (2023)