机译:编译和验证安全关键型反应系统的SC-SystemJ程序
Univ Auckland, Dept Elect & Comp Engn, Auckland 1, New Zealand;
Univ Auckland, Dept Elect & Comp Engn, Auckland 1, New Zealand;
Univ Auckland, Dept Elect & Comp Engn, Auckland 1, New Zealand;
SystemJ; SC-SystemJ; Safety-critical; Model-checking; Verification; Compilation;
机译:基于现场可编程门阵列的核电厂安全关键I&C系统的设计验证增强
机译:安全关键应用程序的编译器验证
机译:改进技术,用于验证呼叫流程完整性,用于对基于返回的编程攻击的基于编译器的防御
机译:教程:协调安全关键型实时系统的编译器和时序分析— WCET感知的C编译器WCC
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:抗氧化剂系统的变化是信号通路的一部分该信号通路负责氧化一氧化氮和活性氧物种对烟草亮黄色2细胞中程序性细胞死亡的激活
机译:普遍的编译器验证-从验证程序到验证系统