For 'checking whether a process is correct' two aspects are distinguished [31, p.312, Sect.16.3]: – A system must have certain properties, e.g. livelock ...
確定！ 回上一頁
