Picture for Isaac Li

Isaac Li

An Intelligent Assistant for Converting City Requirements to Formal Specification

Jun 14, 2022
Figure 1 for An Intelligent Assistant for Converting City Requirements to Formal Specification
Figure 2 for An Intelligent Assistant for Converting City Requirements to Formal Specification
Viaarxiv icon

CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities

Jun 07, 2022
Figure 1 for CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Figure 2 for CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Figure 3 for CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Figure 4 for CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Viaarxiv icon