Automata learning; Formal verification; Knowledge-based software engineering;
机译:协作嵌入式系统的策略逻辑使用策略逻辑对协作嵌入式系统进行规范和验证
机译:面向嵌入式系统的可靠开发工具:软件验证中的案例研究
机译:嵌入式控制系统的基于仿真的验证方法:传统和高级建模,测试和验证技术的概述
机译:在嵌入式系统中学习验证:案例研究
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:嵌入式系统中深度学习网络的泛化绩效研究
机译:使用符号模型检验验证嵌入式实时系统:案例研究