机译:轻松的规范规范和无边界网络架构的验证
Verification; Theory; Formal methods; Interactive theorem proving; NoCs; Deadlock; Evacuation; Starvation;
机译:轻松的规范规范和无边界网络架构的验证
机译:分布式系统体系结构的可重用通信模型的正式规范和验证
机译:基于形式规范的数字校园网络安全架构的构建
机译:一种正式规范和移动中间件架构设施的正式验证方法
机译:规范软件体系结构的正式基础。
机译:无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证
机译:片上网络的正式规范:死锁和疏散
机译:系统体系结构的半形式和形式接口规范。