机译:包含操作者对过程执行流的干扰的计算机化过程形式化验证的状态令牌Petri网建模方法
机译:Berezhnyuk Ivan,为海关程序的安全性和便利性而克服国家和经济运营商矛盾的过程模型
机译:Berezhnyuk Ivan,为海关程序的安全性和便利性而克服国家和经济运营商矛盾的过程模型
机译:与现场过程的操作员交互模型:基于计算机的程序的见解
机译:将总列臭氧数据转换为数字天气预报模型初始化字段的程序,并通过模拟2000年1月24日的东海岸暴风雪模拟验证
机译:介入过程中人体中导丝和导管的导航:基于计算机的模型的回顾
机译:核电厂现场工作人员基于计算机的程序:制定程序使用模型和要求识别
机译:核电厂现场工作人员基于计算机的程序:制定程序使用模型和要求识别。