公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2001 | Formal verification of embedded real-time software in component-based application frameworks | Hsiung, P.-A.; See, W.-B.; Lee, T.-Y.; Fu, J.-M.; Chen, S.-J.; SAO-JIE CHEN | Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC | | | |
2003 | Framework approach for system on chip software development | See, W.-B.; Hsiung, P.-A.; Chen, S.-J.; SAO-JIE CHEN | International Symposium on VLSI Technology, Systems, and Applications | 2 | 0 | |
2004 | Software platform for embedded software development | See, W.-B.; Hsiung, P.-A.; Lee, T.-Y.; Chen, S.-J.; SAO-JIE CHEN | Lecture Notes in Computer Science | | | |
2002 | VERTAF: An object-oriented application framework for embedded real-time systems | Hsiung, P.-A.; Lee, T.-Y.; See, W.-B.; Fu, J.-M.; Chen, S.-J.; SAO-JIE CHEN | 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2002 | 5 | 0 | |