2020年8月4日
Model checking模型检测应用于实际系统或者实际软件中的瓶颈、挑战
摘要： 模型检测在实际系统或实际软件中的瓶颈或者挑战到底是什么呢？ 阅读全文
posted @ 2020-08-04 19:00 啊哈03 阅读(447) 评论(0) 推荐(0)
Latex学习记录
摘要： 论文结构： \section{} 一级标题 \subsection{} 二级标题 \subsubsetction{} 三级标题 论文符号： \emph{} 斜体 \bm{} \mathbf{} 加粗 ^{}_{} 上下标 例子：\emph{p}$_\emph{q}$ 字母下标 \mathbb{} 花 阅读全文
posted @ 2020-08-04 15:05 啊哈03 阅读(96) 评论(0) 推荐(0)