2 daws c, olivero a, tripakis s, yovine s. The tool kronos. In dimacs workshop on verification and control of hybrid systems, lncs 1066 , springer-verlag, ...
確定! 回上一頁