Dept. of Computer Science Engineering University of California at San Diego 9500 Gilman Drive, La Jolla, California 92093, USA;
机译:通过问题框架和基于约束的投影简化区域控制器中安全要求的形式验证
机译:基于入侵弹性身份的签名:安全性定义和构造
机译:在建筑项目中使用简化的基本工程要求:合同管理指南
机译:组签名的基础:正式定义,简化要求,以及基于一般假设的结构
机译:简化基于游戏的加密定义
机译:执行基于para残差的两个形式化检验以检查比例风险假设和灵活参数超额风险模型中预后因素的功能形式
机译:团体签名的基础:形式定义,简化的要求以及基于一般假设的构造
机译:为shinotech程序编写器创建具有形式语义的元语言。阶段1.任务1.定义metalanguage XmL的要求和目标。任务3.设计要求和目标的定义o