Software; Model checking; Automata; Contracts; Cyber-physical systems; Cognition; Government;
机译:通过将模型与网络 - 物理系统中的开发和硬件/软件部署组合结合型号来实现工业产品及其生产系统的共同演变
机译:使用软件模型检查来验证协议一致性,以进行嵌入式系统的模型驱动开发
机译:基于扩展混合系统描述语言的网络物理系统行为建模与安全验证方法
机译:通过将软件模型检查与混合系统的可达性组合来验证网络物理系统
机译:将类型检查与模型检查相结合以进行系统验证
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:走向在线混合系统对网络物理系统的限时短期行为进行模型检查
机译:通过行为博弈论和实践与教育模式检查提高网络物理系统的网络安全性。