Lv1
30 积分 2024-12-01 加入
Short-term electric power load forecasting using random forest and gated recurrent unit
4个月前
已完结
Methodology of Combining Empirical Stress Testing and Formal-Methods Based Schedulability Analysis for Real-Time Multicore Software
4个月前
已完结
Methodology of Combining Empirical Stress Testing and Formal-Methods Based Schedulability Analysis for Real-Time Multicore Software
4个月前
已完结
Verifying Liveness and Real-Time of OS-Based Embedded Software
5个月前
已完结
A Comprehensive Formal Specification of ARINC 653 With Conformity Proof
5个月前
已完结
一种面向安全关键软件的AADL模型组合验证方法
5个月前
已完结
A property specification pattern catalog for real-time system verification with UPPAAL
5个月前
已完结
皖公网安备34019202002308
