provably-secured operating system的意思|示意

证明安全的操作系统 ... 正走一步信号 forward-step signal 证明安全的操作系统 provably-secured operating system 证明操作 justification function ...

翻译 ... prologue翻译 *['prәulɒ:g] n. 开场白, 序言, 序幕 vt. 为...作序, 加上...前言 provably-secured operating system翻译 【计】 证明安全的操作系统 arthrodial joint翻译 【医】 摩动关节 ...