Critical Software S.A., Portugal,Department of Informatics, Minho University,Department of Mathematics, University of Aveiro;
Critical Software S.A., Portugal;
Department of Mathematics, University of Aveiro;
Department of Informatics, Minho University;
机译:验证无功系统状态图规范的新方法
机译:一种基于模糊推理的混合流动系统的反应调度方法
机译:混合动力AC-DC电力系统的实用最优无功功率调度改进的差分进化方法
机译:反应系统的混合规范:一种制度方法
机译:在TROMLAB框架中为实时反应系统基于规范的测试系统的实现。
机译:酵母双杂交系统揭示了与果蝇神经命运相关的相互作用转录调节因子网络
机译:反应系统的混合规范:一种制度方法