Specifying Time-Sensitive Systems with TLA+

2010 IEEE 34th Annual Computer Software and Applications Conference ◽

10.1109/compsac.2010.50 ◽

2010 ◽

Cited By ~ 1

Author(s):

Hehua Zhang ◽

Ming Gu ◽

Xiaoyu Song

Download Full-text