A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
There were 46 cases in the B group, the injection points included vein of forehead, superficial temporal vein and the posterior auricular vein.
组46例次，穿刺点为头皮静脉如额正中静脉、颞浅静脉、耳后静脉等；
There were 46 cases in the B group, the injection points included vein of forehead, superficial temporal vein and the posterior auricular vein.
组46例次，穿刺点为头皮静脉如额正中静脉、颞浅静脉、耳后静脉等；
应用推荐