External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Intelligent Assistant for Converting City Requirements to Formal Specification

Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preurn, John A. Stankovic, Meiyi Ma. An Intelligent Assistant for Converting City Requirements to Formal Specification. In 2022 IEEE International Conference on Smart Computing, SMARTCOMP 2022, Helsinki, Finland, June 20-24, 2022. pages 174-176, IEEE, 2022. [doi]

Authors

Zirong Chen

This author has not been identified. Look up 'Zirong Chen' in Google

Isaac Li

This author has not been identified. Look up 'Isaac Li' in Google

Haoxiang Zhang

This author has not been identified. Look up 'Haoxiang Zhang' in Google

Sarah Preurn

This author has not been identified. Look up 'Sarah Preurn' in Google

John A. Stankovic

This author has not been identified. Look up 'John A. Stankovic' in Google

Meiyi Ma

This author has not been identified. Look up 'Meiyi Ma' in Google
runs on