Farn Wang

发表

Farn Wang, Chung-Hao Huang, Fang Yu, 2011, CONCUR.

Farn Wang, Chung-Hao Huang, Jung-Hsuan Wu, 2013, ArXiv.

Farn Wang, Yu-Fang Chen, Bow-Yaw Wang, 2019, NETYS.

Farn Wang, Aloysius K. Mok, Jin Yang, 1997, TOPL.

Farn Wang, Chung-Hao Huang, Shang-Yi Huang, 2015, 2015 IEEE International Conference on Progress in Informatics and Computing (PIC).

Farn Wang, Fang Yu, Shun-Ching Yang, 2012, LCTES 2012.

Farn Wang, Jung-Hsuan Wu, Li-Wei Yao, 2011, 2011 IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing.

Farn Wang, Farn Wang, 1997, ARTS.

Farn Wang, Li-Wei Yao, Ya-Lan Yang, 2011, Real-Time Systems.

Farn Wang, Aloysius K. Mok, 1994, FME.

Pao-Ann Hsiung, Farn Wang, Farn Wang, 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).

Farn Wang, Farn Wang, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Augusto Sampaio, Farn Wang, Farn Wang, 2016, Lecture Notes in Computer Science.

Farn Wang, Lin-Zan Cai, Rong-Shiung Wu, 2007, International Conference on Automated Software Engineering.

Farn Wang, Aloysius K. Mok, E. Allen Emerson, 1993, FME.

Farn Wang, Geng-Dian Huang, Farn Wang, 2008, TestCom/FATES.

Farn Wang, 2010, 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.

Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo, 1999, TACAS.

Farn Wang, Fang Yu, Karsten Wolf, 2004, IEEE Transactions on Software Engineering.

Farn Wang, Farn Wang, 2004, International Journal on Software Tools for Technology Transfer.

Sung-huai Hsieh, Po-Hsun Cheng, Feipei Lai, 2009, BIOCOMP.

Farn Wang, Jun-Wei Lin, Paul Chu, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Farn Wang, Farn Wang, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

Farn Wang, A. K. Mok, A. Mok, 1993, COMPASS '93: Proceedings of the Eighth Annual Conference on Computer.

Farn Wang, Hsu-Chun Yen, H. Yen, 2003, CIAA.

Farn Wang, Farn Wang, 1996, Proceedings of 3rd International Workshop on Real-Time Computing Systems and Applications.

Farn Wang, Farn Wang, 2000, Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000.

Farn Wang, Chung-Hao Huang, Jung-Hsuan Wu, 2011, FASE.

Farn Wang, Chung-Hao Huang, Sven Schewe, 2016, IEEE Transactions on Software Engineering.

Farn Wang, Farn Wang, 1997, Theor. Comput. Sci..

Farn Wang, Farn Wang, 2008, 2008 Real-Time Systems Symposium.

Farn Wang, Che Jung Wu, Yung-Chieh Lee, 2011 .

Farn Wang, Farn Wang, 2004, IEEE Transactions on Software Engineering.

Farn Wang, Ming-Hsien Tsai, Yu-Fang Chen, 2015, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).

Farn Wang, Farn Wang, 2004, Proceedings of the IEEE.

Pao-Ann Hsiung, Farn Wang, Farn Wang, 1998, Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236).

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2004, Lecture Notes in Computer Science.

Farn Wang, Geng-Dian Huang, Rong-Shiung Wu, 2005, SEKE.

Farn Wang, Chung-Hao Huang, Sven Schewe, 2015, TOPL.

Tei-Wei Kuo, Farn Wang, Shao-Juen Ho, 1997, Proceedings Fourth International Workshop on Real-Time Computing Systems and Applications.

Pao-Ann Hsiung, Farn Wang, Farn Wang, 1999, FORTE.

Augusto Sampaio, Farn Wang, 2018, Theor. Comput. Sci..

Cheng-Chieh Chang, Farn Wang, Chung-Hao Huang, 2013, APLAS.

Farn Wang, Wei Ji, Yi Lv, 2016, 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS).

Pao-Ann Hsiung, Farn Wang, 1997, AMAST.

Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo, 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

Farn Wang, Dan Chia-Tien Lo, Farn Wang, 1996, Real-Time Systems.

Farn Wang, Fang Yu, Geng-Dian Huang, 2003, RTCSA.

Farn Wang, Farn Wang, 1996, Proceedings Real-Time Technology and Applications.

Farn Wang, Jung-Hsuan Wu, Sven Schewe, 2015, Theor. Comput. Sci..

Farn Wang, Chung-Hao Huang, Sven Schewe, 2013, TACAS.

Farn Wang, 2014, International Journal on Software Tools for Technology Transfer.

Farn Wang, Hsu-Chun Yen, H. Yen, 2004, Theor. Comput. Sci..

Farn Wang, Hsu-Chun Yen, H. Yen, 2001, SAS.

Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen, 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

Farn Wang, Fang Yu, Geng-Dian Hwang, 2003, CIAA.

Farn Wang, Farn Wang, 1997, Formal Methods Syst. Des..

Farn Wang, Fang Yu, Shun-Ching Yang, 2012, LCTES.

Farn Wang, Aloysius K. Mok, E. Allen Emerson, 1992, International Conference on Software Engineering.

Farn Wang, Aloysius K. Mok, Jin Yang, 1993, 1993 Proceedings Real-Time Systems Symposium.

Tei-Wei Kuo, Farn Wang, Doug Locke, 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

Farn Wang, Geng-Dian Huang, Lin-Zan Cai, 2009, ATVA.

Farn Wang, Ming-Hsien Tsai, Yu-Fang Chen, 2014, SAS.

Farn Wang, Wei Ji, Peng Wu, 2017, IFM.

Farn Wang, Jun-Wei Lin, Ming-Hong Weng, 2015, 2015 IEEE International Conference on Progress in Informatics and Computing (PIC).

Farn Wang, Chung-Hao Huang, Sven Schewe, 2012, GandALF.

Pao-Ann Hsiung, Farn Wang, Farn Wang, 2002, IEEE Trans. Computers.

Farn Wang, Farn Wang, 2009, Wiley Encyclopedia of Computer Science and Engineering.

Farn Wang, Aloysius K. Mok, E. Allen Emerson, 1993, TSEM.

Farn Wang, Chung-Hao Huang, Sven Schewe, 2013, Acta Informatica.

Farn Wang, Fang Yu, Geng-Dian Huang, 2006, IEEE Transactions on Software Engineering.