机译:使用故障和类别理论验证并发系统设计与实现之间的过程通信
机译:使用类别理论验证并发系统中针对设计的实现
机译:建立用于验证并发系统设计和实现的分类框架
机译:基于多处理器的水下声通信实时并行处理系统设计与实现
机译:动态系统理论作为建模和指导并行工程设计过程的工具:空间系统设计应用
机译:用于DSP和通信系统算法评估的多处理器的设计和实现。
机译:在由独立治疗计划记录和验证以及交付系统组成的网络中实施的全电子强度调制放射治疗质量保证(IMRT QA)流程
机译:使用故障和类别理论验证并发系统设计与实现之间的过程通信