Department of Civil Engineering, University of Maryland, College Park, MD 20742, USA;
Institute for Systems Research University of Maryland College Park, MD 20742;
机译:巴拿马运河的初步混合建模:操作和盐度扩散
机译:巴拿马运河的初步混合建模:操作和盐度扩散
机译:供应链和混合模型:巴拿马运河的运营及其盐度扩散
机译:巴拿马运河系统运营正式验证过程建模框架
机译:使用LTSA和UPPAAL对渠道系统中的并发行为进行建模,验证和验证。
机译:基于随机混合系统的框架用于对相关故障过程进行建模
机译:巴拿马运河系统运行正式验证的过程建模框架
机译:融合作为正式系统的运作:信息融合的正式框架