Universidad de Castilla - La Mancha (Spain).;
机译:定时自动机中的软件过程描述与定时模块中的描述之间的比较
机译:定时自动机中的软件过程描述与定时模块中的描述之间的比较
机译:定时自动机中软件过程描述与定时模块的描述之间的比较
机译:获取TPPAL流程的概率动态状态图
机译:实时系统模型和使用定时过程代数进行验证的技术。
机译:实施针对艾滋病毒患者的跨专业药物依从性计划:使用药房服务实施框架描述流程
机译:基于ELm间等待时间的概率描述对ELm类型进行辨别和可视化
机译:定时过程代数中的区间和动作。