model checking; security enhanced linux; interprocess communications; SPIN;
机译:带有概率模型检查的进程间通信的组态
机译:使用任务模型和误传生成模型检查人与人之间的通信协议
机译:将用于代理通信的模型检查承诺减少为ARCTL和GCTL〜*的模型检查
机译:SELinux进程间通信的模型检查
机译:超越安全性的可扩展模型检查通信结构的观点。
机译:使用不同风险计算器在NHS Health Check中进行心血管疾病风险沟通的定性研究:NHS Health Check(RICO)研究中RIsk通讯的方案
机译:分布式实时系统的实时发布者/订户进程间通信模型:设计和实现
机译:经验教训模型检查工业通信库