机译:CenUMs-并发增强的使用模型,用于对具有并发使用流的复杂系统进行统计测试
Department of Computer Science 7, Friedrich-Alexander-University Erlangen-Nuremberg, 91058 Erlangen, Germany;
Department of Computer Science 7, Friedrich-Alexander-University Erlangen-Nuremberg, 91058 Erlangen, Germany;
Department of Computer Science 7, Friedrich-Alexander-University Erlangen-Nuremberg, 91058 Erlangen, Germany;
Markov chain usage model; Concurrency; System verification; Statistical test;
机译:并发流应用程序的性能和能源优化的模型和复杂度结果
机译:并发系统的基于模型的测试:基于展开的测试选择
机译:基于可达性图降低的并发系统基于模型的测试
机译:基于时间和并发性的嵌入式实时系统基于模型的统计测试
机译:集成了并发控制和代理执行支持,并为KURT-Linux组调度模型下的确定性并发测试提供了框架。
机译:通过链接的统计形状模型对MRI和CT进行前列腺同时分割以进行放射治疗计划
机译:并发流应用程序的性能和能源优化的模型和复杂度结果
机译:梦想和图像:复杂系统并行生命周期设计的模型和计算机实现