conformance testing; cyber-physical systems; program testing; real-time systems; safety-critical software;
机译:基于活动理论的网络物理和人类系统新的描述性理论框架
机译:一种以人为本的和环境感知的测试框架,用于提供安全可靠的网络物理系统服务
机译:网络物理系统的系统理论安全需求建模
机译:用于测试网络物理系统的理论框架
机译:网络物理系统的基于测试的伪造和一致性测试。
机译:基于FPGA的高性能嵌入式系统用于网络物理系统中的自适应边缘计算:ARTICo3框架
机译:基于学习的网络系统系统测试 - 分列研究