olivero 中文意思是什麼
olivero
解釋
奧利韋羅-
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, october 1995. 3 henzinger t a, ho p h. hytech : the cornell hybrid technology tool
當自動機當前狀態為l時，轉換l ， g ， r ， l的使能條件是時鐘變量的取值滿足g ，而當轉換發生之後， r中時鐘的值被重置為0 。
分享友人