The temporal formula model(TFM) of the discrete event process is established firstly, then the property analysis problem of the TFM is discussed.是什么意思_The temporal formula model(TFM) of the discrete event process is established firstly, then the property analysis problem of the TFM is discussed.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句