[IEEE 2009 33rd Annual IEEE International Computer Software and Applications Conference - Seattle, Washington, USA (2009.07.20-2009.07.24)] 2009 33rd Annual IEEE International Computer Software and Applications Conference - Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring

• 作者Lu, Yue; Cicchetti, Antonio; Bygde, Stefan; Kraft, Johan; Nolte, Thomas; Norstrom, Christer
• 文件大小238.57KB
• 发表时间2009
• DOI10.1109/compsac.2009.184
• 页码510-515