Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
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.; 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.; SAO-JIE CHEN | 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2002 | | | |