[4] propose to use Generalized Test Tables (GTTs) as a practical temporal specification language for reactive systems (i.e., embedded systems driving ...
確定! 回上一頁