Federal University of Pernambuco Center of Informatics P.O. BOX 7851 Cidade Universitaria 50740-540 Recife -PE Brazil;
机译:用于实时系统规范和验证的过程代数框架
机译:混合实时安全系统的需求规格说明和验证的定性形式方法
机译:实时系统规范的多种方法:GPU并行系统的案例研究
机译:实时系统规范和验证的综合方法
机译:使用“规范和描述语言-实时”设计实时系统。
机译:利用基于AI的饮食管理解决方案和用于糖尿病管理的实时连续血糖监测系统验证数字综合医疗保健平台的有效性:随机对照试验
机译:一种实时系统集成规范与设计方法
机译:验证了paramaterized实时电离层规范模型(pRIsm)