公開日期 | 標題 | 作者 | 來源出版物 | 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 | | | |
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 | |