实时验证相关论文
近年来,嵌入式软件被广泛应用在一些安全关键领域中,嵌入式软件的需求也日益复杂,其中最为关键的就是需求中包括的实时规范。传统......
近些年来,机器人教学与实践成为学校教育的一个重要环节,并得到国家的大力支持。教育机器人本身涉及多种门类不同学科的知识,在多......
随着信息物理融合系统的萌芽与发展,片上系统正发挥着越来越重要的作用。在片上系统相关的软、硬件开发过程中,开发者通常使用虚拟......
