摘要:
PATTERN系列之五 I. Introduction To ease the expression of real time requirements, Dwyer, and then Konrad, studied a large collection of existing systems i 阅读全文
摘要:
PATTERN系列的番外篇 对non Zeno的概念进行了明晰 accepting :if infinitely often the same state non Zeno :if time diverges,which means $\sum_{i\geq20}$$\delta_{i}$ $\ri 阅读全文