[IEEE 2010 IEEE 34th Annual Computer Software and Applications Conference - COMPSAC 2010 - Seoul, Korea (South) (2010.07.19-2010.07.23)] 2010 IEEE 34th Annual Computer Software and Applications Conference - Specifying Time-Sensitive Systems with TLA+
Zhang, Hehua, Gu, Ming, Song, XiaoyuYear:
2010
Language:
english
DOI:
10.1109/compsac.2010.50
File:
PDF, 530 KB
english, 2010