Login / Signup
Sarah Preurn
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Concurrent Systems
Formal Specification
Grid Workflow
Specification Languages
Top Venues
SMARTCOMP
</>
Publications
</>
Zirong Chen
,
Isaac Li
,
Haoxiang Zhang
,
Sarah Preurn
,
John A. Stankovic
,
Meiyi Ma
An Intelligent Assistant for Converting City Requirements to Formal Specification.
SMARTCOMP
(2022)