时间自动机网络相关论文
自适应软件是指通过感知运行环境的变化,及时调整软件运行状态或行为从而提供持续、高质量服务的软件。因此,自适应软件有效的增强......
介绍了时间自动机形式模型，在此基础上给出了时间自动机网络的形式语法和语义，然后给出一种基于时间自动机网络的实时系统形式化验证......
基于模型驱动的嵌入式软件测试方法是近几年国内外研究的热点。它利用模型描述软件的功能,解决了嵌入式软件硬件方面的制约,降低了......
