2 citations · 3 across the 5 of their papers we have counts for
1 paper · 2 filters
Peng Xu, Alejandro Salado, Xinwei Deng
Verification is a critical process in the development of engineered systems. Through verification, engineers gain confidence in the correct functionality of the system before it is…