机译:关于在非实时环境中从定时自动机到实时程序运行时检查生成实时程序
机译:关于在非实时环境中从定时自动机到实时程序运行时检查生成实时程序
机译:关于在非实时环境中从定时自动机到实时程序的运行时检查生成实时程序
机译:定时I / O自动机:实时系统的完整规范理论
机译:自动机,形式语言和实变量(包括多模式,L系统和元胞自动机)之间的复杂性理论并行。
机译:混合自动机库:用于混合建模和实时可视化的灵活平台
机译:定时I / O自动机:实时系统的完整规范理论
机译:元数据自动机方法估算近66实际上66号州际公路上的事件相关旅行时间。 (2007年7月 - 2009年5月)