Security; Operating systems; Web browsers; Syntax; Reasoning; Security protocols; Semantic models; Computer access control; Computer network security; Computer applications; Program logic; Traces; Adversarial code; Hoare type theory;
机译:实时n系统可编程性的挑战:更新PLD逻辑为服务系统的逻辑升级和费用实施开辟了新的可能性
机译:用遗传算法归纳逻辑程序:遗传逻辑编程系统
机译:Petri网和梯形逻辑,用于半自动机器和系统的全自动和可编程逻辑控制科学出版物
机译:带光学可编程逻辑单元的编码器/解码器
机译:类多数逻辑矢量符号码的纠错性能分析及其在分集组合系统中的应用。
机译:残疾当量:用于比较其他健康计划的逻辑系统。
机译:带光学可编程逻辑单元的编码器/解码器