概率规范相关硕士博士期刊学术论文 - 搜论网

概率规范相关论文

分布实时系统的概率规范和证明形式化

<正>1引言随着数字系统变得越来越小、越来越便宜,它们用于物理过程控制和与物理过程互协作的机会将越来越多。互相协作的过程......

期刊

实时系统概率规范证明形式化操作系统 Probabilistic specification Real-time system Temporal log

看过本文同时还关注