Computer programs; Verification; Theorems; Algorithms; Specifications; Embedding; Natural language; Integral equations; Coding; Reprints; Lessons learned; Formal methods; Security models; Tls(Top-level specification);
机译:将正式方法应用于经过认证的安全软件系统
机译:将正式方法应用于经过认证的安全软件系统
机译:将正式方法应用于证明安全的软件系统
机译:将安全可靠性软件标准应用于Comanche任务处理的可行性
机译:探索适用于小型卫星软件系统的正式方法和工具。
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:将形式化方法应用于可认证的安全软件系统