08 2020 档案

Slicing Software for Model Construction
摘要：一篇关于模型切片的论文，看的目的是参考算法证明。 阅读全文
posted @ 2020-08-05 16:47 啊哈03 阅读(91) 评论(0) 推荐(0)
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)