可执行概率相关硕士博士期刊学术论文 - 搜论网

可执行概率相关论文

基于ASM描述共享网络的实时任务可执行概率设计

利用抽象状态机（ASM），形式化描述了共享网络中实时任务接纳控制机制，提出了实时任务可执行概率设计过程的ASM模型，利用Spec Explorer给......

期刊

抽象状态机共享资源网络实时任务可执行概率接纳控制 abstract state machine resource-sharing network r

看过本文同时还关注