Sciweavers

Share
APSEC
2001
IEEE

Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks

9 years 10 months ago
Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks
Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Mi
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2001
Where APSEC
Authors Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen
Comments (0)
books