Search the dblp DataBase

Publications of Author

1. Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen
   Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. [Citation Graph (0, 0)][DBLP]
   APSEC, 2001, pp:71-78 [Conf]
   
2. Jih-Ming Fu, Win-Bin See, Pao-Ann Hsiung, Jen-Ming Chao, Sao-Jie Chen
   A Java-Based Distributed System Framework for Real-Time Development. [Citation Graph (0, 0)][DBLP]
   ICDCS Workshop on Distributed Real-Time Systems, 2000, pp:0-0 [Conf]
   
3. Pao-Ann Hsiung, Trong-Yen Lee, Win-Bin See, Jih-Ming Fu, Sao-Jie Chen
   VERTAF: An Object-Oriented Application Framework for Embedded Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:322-329 [Conf]
   
4. Jih-Ming Fu, Jsao-Jie Chen
   Hardware-Software Coverification of Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
   PDPTA, 1999, pp:2995-3001 [Conf]
   
5. Pao-Ann Hsiung, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See
   SESAG: an object-oriented application framework for real-time systems. [Citation Graph (0, 0)][DBLP]
   Softw., Pract. Exper., 2005, v:35, n:10, pp:899-921 [Journal]
   
6. Pao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See
   VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2004, v:30, n:10, pp:656-674 [Journal]
   
7. 
   Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. [Citation Graph (, )][DBLP]