Cyber Physical Systems; Formal Verification; Generic Modeling Environment; SystemC; UPPAAL;
机译:使用HiLLS指定的模型进行正式验证:复杂系统的多分析建模的又一步
机译:安全建模和正式验证生存性的特性:网络物理系统的应用
机译:分布式系统体系结构的可重用通信模型的正式规范和验证
机译:IEC 61499软件工程框架中的形式化建模和验证:一种自我验证系统的方法
机译:用于混合控制系统的模型重构的正式验证=混合控制系统的模型重构的正式验证
机译:正式验证人类自动化交互作为系统模型的一部分:限制和权衡
机译:使用Hills指定模型的正式验证:复杂系统的多分析建模的进一步步骤