Login / Signup
Don Barrett
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Clustering Algorithm
Formal Verification
Wide Range
Top Venues
Requir. Eng.
</>
Publications
</>
Don Barrett
,
Thomas A. Mazzuchi
,
Shahram Sarkani
A quantitative comparison of the effects of modeling approaches on system verification using a controlled challenge problem.
Requir. Eng.
26 (4) (2021)