Kurt Wilson

College of Engineering

2024 article

Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS

2024 22ND ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE 2024, pp. 98–102.

By: K. Wilson n, A. Al Arafat n, J. Baugh n, R. Yu n & Z. Gu n

Sources: Web Of Science, ORCID, NC State University Libraries
Added: October 22, 2024

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2025) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.