| 亞洲大學 |
1997-11 |
Formal Model of Participator Dependent Multimedia Presentations
|
Timothy K. Shih; Steven K. C. Lo; Ding-Rong Jiang |
| 亞洲大學 |
1996-11 |
Formal Model of Temporal Properties Underlying Multimedia Presentations
|
Timothy K. Shih; Lain-Jinn Hwang; Jich-Yan Tsai |
| 淡江大學 |
1997-07 |
Formal model of temporal properties underlying multimedia presentations
|
Shih, Timothy K.; Hwang, Lain-jinn; Tsai, Jich-yan |
| 亞洲大學 |
2008 |
Formal Modeling and Analysis of Secure Mobile Agent Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 臺大學術典藏 |
2018-09-10T08:14:42Z |
Formal modeling and verification for Network-on-chip
|
Chen, Y.-R.;Su, W.-T.;Hsiung, P.-A.;Lan, Y.-C.;Hu, Y.-H.;Chen, S.-J.; Chen, Y.-R.; Su, W.-T.; Hsiung, P.-A.; Lan, Y.-C.; Hu, Y.-H.; Chen, S.-J.; SAO-JIE CHEN |
| 亞洲大學 |
2008-01 |
Formal Modelling and Analysis of a Secure Mobile Agent System
|
Jeffrey J. P. Tsai;L. Ma |
| 國立中山大學 |
1995-10 |
Formal reasoning in intelligent database systems
|
Shie-Jue Lee |
| 臺大學術典藏 |
2018-09-10T08:46:23Z |
Formal Reset Recovery Slack Calculation at the Register Transfer Level
|
C. N. Chung; C. W. Chang; K. H. Chang; S. Y. Kuo; SY-YEN KUO |
| 臺大學術典藏 |
2018-06-29T12:48:05Z |
Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL
|
Mok, A. K.; Emerson, E. A.; Wang, Farn; 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Emerson, E. A. |
| 國立臺灣大學 |
1992-05 |
Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL
|
王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn; Mok, A. K.; Emerson, E. A. |
| 淡江大學 |
1995 |
Formal specification and verification in Z for syncchronous concurrent compution
|
Lin, Fuyau;施國琛; Shih, Timothy K. |
| 亞洲大學 |
1995-04 |
Formal Specification and Verification in Z for Synchronous Concurrent Computation
|
Fuyau Lin ; Timothy K. Shih |
| 淡江大學 |
1999-10 |
Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
|
葛煥昭; Keh, Huan-chao; 施國琛; Shih, Timothy K.; Wang, C. S. |
| 亞洲大學 |
1998 |
Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
|
Huan-Chao Keh ; Timothy K. Shih |
| 淡江大學 |
1998-12 |
Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
|
Keh, Huan Chao; Shi, Timothy K. |
| 亞洲大學 |
1997-04 |
Formal Specification of a Graph-Based Object-Oriented Software Testing
|
Chi-Ming Chung; Timothy K. Shih;Chun-Chia Wang |
| 淡江大學 |
1997-04 |
Formal specification of a graph-based object-oriented software testing
|
Chung, Chi-ming , Shih, Timothy K.; Wang, Chun-chia |
| 亞洲大學 |
1999 |
Formal Specification of an Object-Oriented database for Intelligent Multimedia Presentation
|
Huan-Chao Keh; Timothy K. Shih ; Ching-Sheng Wang |
| 淡江大學 |
1996-03 |
Formal specification of multimedia authoring
|
Shih, Timothy K.; Chiang, Ding-an; Keh, Huan-chao; Shis, Chien-chou |
| 亞洲大學 |
1996 |
Formal Specification of Multimedia Authoring
|
Timothy K. Shih; Ding-An Chiang; Huan-Chao Keh; Chien-Chou Shis |
| 亞洲大學 |
1997 |
Formal Specification of Multimedia Database Modeling with Z Notations
|
Timothy K. Shih; Nancy P. Lin; Huan-Chao Keh; Ying-Hong Wang; Yule-Chyun Lin |
| 淡江大學 |
1997-01 |
Formal specification of multimedia database modeling with Z notations
|
Shih, Timothy K.; Lin, Nancy P.; 葛煥昭; Keh, Huan-chao; Wang, Ying-hong; Lin, Yule-chyun |
| 國立交通大學 |
2014-12-08T15:29:39Z |
Formal Synthesis of 3-Deoxy-D-manno-Octulosonic Acid (KDO) and 3-Deoxy-D-arabino-2-heptulosonic Acid (DAH)
|
Pradhan, Tapan Kumar; Lin, Chun Cheng; Mong, Kwok Kong Tony |
| 國立交通大學 |
2020-10-05T02:02:00Z |
Formal synthesis of schulzeines B and C: A new route to Gurjar's lactams
|
Chou, Chu-En; Chen, Yi-An; Lin, Yi-Ching; Kao, Shih-Chieh; Chang, Chieh-Yu; Wu, Yen-Ku |
| 亞洲大學 |
2006 |
Formal synthesis of the ACE inhibitor-Benazepril?HCl via an asymmetric aza-Michael reaction
|
Yu L. T.; Huang, J. L.; Chang, C. Y.; Yang, T. K. |
