We present a tool that automatically checks the existence of a bisimulation relation between an SDL specication and the corre- sponding auto-generated C ...
確定！ 回上一頁
