机译:基于排队Petri网的分布式组件系统性能建模与评估
机译:基于Petri网的基于组件的分布式铁路联锁系统建模与评估
机译:基于模型的性能分析和基于组件的体系结构仿真的定量评估
机译:简要公告:基于组件的增量式建模,验证和性能评估
机译:用于验证分布式系统中全局谓词的分布式算法的性能评估
机译:对两种用于评估精子DNA片段化的流式细胞仪模型的重要评估:对性能验证的吸引力
机译:简要公告::基于组件的增量式建模,验证和性能评估
机译:利用物理模型验证HELp侧向排水组分(垃圾填埋场性能水文评价)模型