...
机译:使用周期性有限状态机对分布式实时系统进行建模和验证
机译:使用周期性有限状态机对分布式实时系统进行建模和验证
机译:验证和比较具有分布式接口的系统的有限状态机
机译:通过图形转换和模型检查来验证嵌入式系统的分布式实时属性
机译:使用有限自动机的CAN协议验证分布式定期实时系统
机译:验证为通信有限状态机的消息传递异步系统中格式正确的验证
机译:实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
机译:使用有限自动机的CaN协议验证分布式周期性实时系统