Chinese translation for "pltl"
|
- 命题线性时间逻辑
- Example Sentences:
| 1. | It is an extension of core of manna and pnueli " s pltl . in succession , a formal axiom deductive system is presented . it ' s soundness based formal semantic defined in this thesis is proved . as an example , we specify grc ( generalized railroad crossing ) , which is a benchmark problem for real time systems , and verify it ' s safety and liveness
作为它的一次实际应用，我们用它对于实时系统中的一个典型实例： grc ( generalizedrailroadcrossing )进行了描述，给出了它的系统规约，在此基础上，演绎式的证明了系统的一个安全性和活性命题。 |
- Similar Words：
- "plsur pleasure" Chinese translation, "plsz" Chinese translation, "plt" Chinese translation, "plt pallet" Chinese translation, "pltc port liner term charges" Chinese translation, "pltp" Chinese translation, "plts" Chinese translation, "pltuitarium totum" Chinese translation, "pltzlich" Chinese translation, "plu" Chinese translation
|
|
|
