...
机译:通过三个模型检查器对分布式实时电梯系统进行建模
Distributed Elevator SystemSPINUPPAALNuSMVLinear Temporal LogicModel Checking;
机译:基于逼近的实时系统符号模型检查器的开发与评估
机译:分布式实时受管系统:用于托管嵌入式系统的模型驱动的分布式安全信息体系结构平台
机译:实时分布式系统细化和回归测试建模的系统方法
机译:使用DIVINE模型检查器为实时系统生成最佳测试用例
机译:在分布式和软实时系统中,在调度算法的性能建模中明确地包含方差。
机译:实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
机译:使用显式时间方法将SLIM模型检查器扩展为实时模型检查器
机译:分布式实时多媒体系统的实时推挽通信模型