TASE2017】的更多相关文章

PATTERN系列之五 I. Introduction To ease the expression of real-time requirements, Dwyer, and then Konrad, studied a large collection of existing systems in order to identify a set of real-time property patterns covering most of the useful use cases. The…