机译:将正式方法应用于证明安全的软件系统
formal verification; security of data; certifiably secure software system; common criteria evaluation; embedded software system; formal methods; formal verification; kernel code; top-level specification; Formal methods; Software; Specification; security; security ker;
机译:将正式方法应用于经过认证的安全软件系统
机译:将正式方法应用于经过认证的安全软件系统
机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:调查:将正式方法应用于软件密集型系统
机译:探索适用于小型卫星软件系统的正式方法和工具。
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:将形式化方法应用于可认证的安全软件系统
机译:将形式化方法应用于可认证的安全软件系统。