基于UPPAAL的AADL模型可调度性验证
刘倩 桂盛霖 李允 罗蕾
Schedulability verification of AADL model based on UPPAAL
计算机应用 . 2009, (07): 1820 -1824 . 

版权所有 © 2021 四川计算机应用杂志社有限公司
蜀ICP备 05010208 号-3　新出网证(川)字026号
技术支持：北京玛格泰克科技发展有限公司
访问总数：
今日访问：