...
机译:基于消息的零件状态图(MPSG):车间控制实施的正式模型
Auburn University, Department of Industrial Engineering, AL 36849-5346, USA;
机译:作为控制复杂技术系统的自适应计算机的工作辅助,揭示凝视的正式建模框架
机译:用于验证由定时过渡图建模的实时离散事件控制需求的正式透明框架
机译:图形用户界面的控件和动作之间的数据依赖关系分析的形式模型
机译:定时MPSG的实时自动化制造系统控制的正式模型
机译:软件定义网络的基于角色的访问控制:正式模型和实现
机译:双参数时空中的控件和病态赌徒贴现模型形态比较
机译:在基于图形的形式化建模语言中实现层次特征
机译:管理控制和战略实施的正式控制系统的性质和使用