表示轉移語法 的英文怎麼說
中文拼音 [biǎoshìzhuǎnyíyǔfǎ]
表示轉移語法
英文
presentation transfer syntax- 表 : Ⅰ名詞1 (外面;外表) outside; surface; external 2 (中表親戚) the relationship between the child...
- 示 : Ⅰ動詞(擺出或指出使人知道; 表明) show; indicate; signify; instruct; notify Ⅱ名詞1 [書面語] (給...
- 轉 : 轉構詞成分。
- 移 : Ⅰ動詞1. (移動) move; remove; shift 2. (改變; 變動) change; alter Ⅱ名詞(姓氏) a surname
- 語 : 語動詞[書面語] (告訴) tell; inform
- 法 : Ⅰ名詞1 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
- 表示 : show; express; mean; indicate; expression; presentation; signifying; remark; representation
- 轉移 : 1 (改換位置) shift; transfer; divert 2 (改變) change; transform 3 [醫學] (擴散) metastasis;...
- 語法 : grammar; syntax
-
After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method
在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后,用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。
分享友人