DeVries, Byron.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Using Formal Analysis and Search-Based Techniques to Address the Assurance of Cyber-Physical Systems at the Requirements Level.
by:
DeVries, Byron.; Michigan State University.; ProQuest Information and Learning Co.
(Language materials, manuscript)
Subjects