|
|
???tair.name??? >
???browser.page.title.author???
|
"wang farn"???jsp.browse.items-by-author.description???
Showing items 11-20 of 43 (5 Page(s) Totally)
<< < 1 2 3 4 5 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
2020-05-04T08:07:19Z |
PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems.
|
Kuo, Tei-Wei; Ho, Shao-Juen; Wei, Chih-Hung; Wang, Farn; TEI-WEI KUO |
| 臺大學術典藏 |
2018-09-10T06:29:32Z |
Error propagation analysis of real-time data-intensive applications
|
TEI-WEI KUO; Wang, Farn; Locke, Doug; Kuo, Tei-Wei |
| 臺大學術典藏 |
2018-09-10T04:59:30Z |
Inductive Composition of Numbers with Maximum, Minimum, and Addition - A New Theory for Program Execution-Time Analysis
|
Wang, Farn; FARN WANG |
| 臺大學術典藏 |
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. |
| 國立政治大學 |
2012.05 |
Symbolic Consistency Checking of OpenMP Parallel Programs
|
郁方; Yu,Fang ; Yang,Shun-Ching ; Wang,Farn ; Chen,Guan-Cheng ; Chan,Che-Chang |
| 臺大學術典藏 |
2006-11-15 |
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang; Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 國立臺灣大學 |
2006-07 |
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 國立臺灣大學 |
2005 |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang |
| 國立臺灣大學 |
2005 |
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
|
Wang, Farn |
| 臺大學術典藏 |
2005 |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol
|
Wang, Farn; Huang, Geng-Dian; Yu, Fang; Wang, Farn; Huang, Geng-Dian; Yu, Fang |
Showing items 11-20 of 43 (5 Page(s) Totally)
<< < 1 2 3 4 5 > >>
View [10|25|50] records per page
|
