software system; model-based testing; dynamical system;
机译:基于大量测试数据的可靠测试的评估方法(例如,在美国数学与数学系(USPTU)实施评分系统的经验)
机译:电动自行车制动动力辅助系统的开发:路试的设计,实施和评估
机译:关于文章的反思“移动接触线和动态接触角:Yulii D. Shikhmurzaev的数学模型的”Litmus测试“和一些新的挑战”
机译:与动态系统测试相关的数学和实施挑战
机译:通过波形松弛技术对动力系统进行数值积分;实施和测试。
机译:在国家医疗保健系统中执行非整倍性非侵入性产前检测:全球挑战和国家解决方案
机译:与动力系统测试相关的数学和实施挑战
机译:数学科学:用于表征粒度介质动力学的均匀化驱动多尺度方法及其在大规模并行异构硬件体系结构上的实现。