Searching for authors named "Farn Wang" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Verification of Dynamic Linear Lists for All Numbers of Processes
- …Verification of Dynamic Linear Lists for All Numbers of Processes ? Farn Wang Institute…
- Cited by 1 (1 self) – Add To MetaCart
-
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems
- …Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems Farn Wang…
- Cited by 14 (4 self) – Add To MetaCart
-
Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems
- …Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems Farn Wang Institute…
- Cited by 6 (3 self) – Add To MetaCart
-
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
- … Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures Farn Wang, Member, IEEE Computer…
- Cited by 9 (0 self) – Add To MetaCart
-
Formal verification of timed systems: A survey and perspective
- …Formal Verification of Timed Systems: A Survey and Perspective FARN WANG Invited Paper An overview…
- Cited by 13 (0 self) – Add To MetaCart
-
A State Graph Manipulator Tool for Real-Time System Specification and Verification
- … and Farn Wang Institute of Information Science, Academia Sinica, Taipei, Taiwan, ROC feric…
- Cited by 9 (5 self) – Add To MetaCart
-
Parametric Analysis of Computer Systems
- …Parametric Analysis of Computer Systems Farn Wang Pao-Ann Hsiung Institute of Information Science…
- Cited by 4 (1 self) – Add To MetaCart
-
User-Friendly Verification
- …User-Friendly Verification PAO-ANN HSIUNG and FARN WANG Institute of Information Science, Academia…
- Cited by 18 (16 self) – Add To MetaCart
-
Symbolic Simulation of Industrial Real-Time and Embedded Systems-Experiments with the Bluetooth Baseband Communication Protocol
- … Baseband Communication Protocol Farn Wang Dept. of Electrical Engineering, National Taiwan University…
- Add To MetaCart
-
Scheduling System Verification
- …Scheduling System Verification Pao-Ann Hsiung, Farn Wang, and Yue-Sun Kuo Institute of Information…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
