...
机译:紧急情况下实时嵌入式系统的建模和验证
National Chung Cheng University, Chiayi-62102, Taiwan, ROC;
National Chung Cheng University, Chiayi-62102, Taiwan, ROC;
National Taiwan University, Taipei-10617, Taiwan, ROC;
National Chung Cheng University, Chiayi-62102, Taiwan, ROC;
Tunghai University, Taichung 40704, Taiwan, ROC;
Tunghai University, Taichung 40704, Taiwan, ROC;
modeling; formal verification; urgency;
机译:通过UML模型仿真支持嵌入式实时系统的早期验证
机译:通过图形转换和模型检查来验证嵌入式系统的分布式实时属性
机译:带有紧急例程的实时嵌入式系统的高效可调度性测试
机译:使用SysML进行实时嵌入式系统建模以及使用UPPAAL和DiVinE进行验证
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:嵌入式实时系统的运行时验证
机译:实时嵌入式系统的建模与验证