107
click to vote
COMPSAC
2010
IEEE
15 years 9 hour ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...