An Efficient Framework for the Stochastic Verification of Computation and Communication Systems Using Emerging Technologies

Authors

Zhen Zhang, Utah State UniversityFollow

Document Type

Grant Record

OCLC

1143850336

Award Number

NSF, Division of Computing and Communication Foundations 1856733

Publication Date

7-18-2019

Funder

NSF, Division of Computing and Communication Foundations

Comments

Data management plan is available for download.

Location

Utah State University

Recommended Citation

Zhang, Z. (2019). An Efficient Framework for the Stochastic Verification of Computation and Communication Systems Using Emerging Technologies. Utah State University. https://doi.org/10.26078/TTJ1-DJ70