Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2206.07152
Cited By
An Intelligent Assistant for Converting City Requirements to Formal Specification
14 June 2022
Zirong Chen
Isaac Li
Haoxiang Zhang
S. Preum
John A. Stankovic
Meiyi Ma
Re-assign community
ArXiv
PDF
HTML
Papers citing
"An Intelligent Assistant for Converting City Requirements to Formal Specification"
1 / 1 papers shown
Title
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Zirong Chen
Isaac Li
Haoxiang Zhang
S. Preum
John A. Stankovic
Meiyi Ma
18
9
0
07 Jun 2022
1
