DMCA

1Learning Assumptions for Compositional Verification of Timed Systems

by Shang-wei Lin , Yang Liu , Jun Sun , Jin Song Dong