Taxonomic Search: kevin OR wyffels, File, Chris J. Myers
1 result
Results
file
Verification of cyber-physical systems is complicated by both their heterogeneous nature as well as their sheer complexity. Cyber-physical systems include hardware, software, and physical environment, so a formal model must integrate all of these concerns.
