Validation; Verification; Testing; Evaluation of embedded systems and applications; Programmable logic controllers;
机译:自动化生产系统的PLC代码中的技术债务指示:引入领域特定的静态代码分析工具
机译:系统特定的静态代码分析:复杂嵌入式系统领域的案例研究
机译:基于高速OFDM的PLC系统的Turbo编码混沌交织和频域均衡方案的性能
机译:自动化生产系统的PLC代码中的技术债务指示:介绍域特定的静态代码分析工具
机译:Z变换域中相关代码和系统的分析与综合。
机译:根癌农杆菌VirB / VirD4和粪肠球菌pCF10编码的IV型分泌系统的偶联蛋白的全α域赋予结合DNA底物结合的特异性。
机译:Sonarqube作为一种通过静态分析识别源代码中的软件指标和技术债务的工具