University of Calgary (Canada).;
机译:实时过程代数(RTPA)
机译:实时工业系统分布式控制的两阶段建模架构:Uml和Petri Net的应用
机译:过程代数以模拟分布式移动实时系统中的过程的定时运动
机译:通过UML / RT模型的系统转换为简单定时过程代数系统规范设计实时系统
机译:使用UML对实时软件系统进行建模和分析。
机译:基于实时数据处理Lambda架构的预测模型更新用于估计氢化机构中的部分放电
机译:UML在使用生产者消费者理论生成过程代数模型的城市交通系统建模中的应用
机译:工作流中的系统分析方法的分类和评估上下文:结构化系统分析设计方法(ssaDm),统一建模语言(UmL),统一过程,软系统方法(ssm)和组织过程建模(Opm