机译:基于扩展加权推动系统的信息基访问控制子集的正式验证
机译:网络投票系统的正式和半正式验证
机译:意大利的“ Badanti”(非正式护理人员)现象:获得卫生保健系统的特征和特殊性1 1.尽管本文是共享工作的结果,但出于正式目的,也同样归功于作者。查看所有笔记
机译:Web信息共享系统中访问控制的形式验证
机译:共享内存系统的正式设计和验证方法。
机译:网络物理系统中控制模块的正式验证
机译:基于扩展加权下推系统的基于信息的访问控制子集的形式验证
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术