Searching for authors named "Wenhui Zhang" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Model Checking with SAT-Based Characterization of ACTL Formulas ⋆
- …Model Checking with SAT-Based Characterization of ACTL Formulas ⋆ Wenhui Zhang Laboratory…
- Add To MetaCart
-
Integrating UML and OUN for specification of open distributed systems BP - 122," Institute for Energy Technology
- …Integrating UML and OUN for Specification of Open Distributed Systems Wenhui Zhang Institute…
- Cited by 2 (1 self) – Add To MetaCart
-
Model Checking Operator Procedures
- …Model Checking Operator Procedures Wenhui Zhang Institute for Energy Technology, P.O.Box 173, N…
- Cited by 1 (0 self) – Add To MetaCart
-
Modeling of WLAN Beacon Signal Strength Measured in an Indoor Environment
- …Modeling of WLAN Beacon Signal Strength Measured in an Indoor Environment Wenhui Zhang University…
- Cited by 1 (1 self) – Add To MetaCart
-
Verification of ACTL properties by bounded model checking. EUROCAST
- …Verification of ACTL Properties by Bounded Model Checking ⋆ Wenhui Zhang Laboratory of Computer…
- Cited by 1 (1 self) – Add To MetaCart
-
Application-Perceived Multicast Push Performance
- …- £ This research is supported in part under NSF grant ANI-0123929. Wenhui Zhang, Wei Li, Vincenzo Liberatore…
- Cited by 3 (1 self) – Add To MetaCart
-
Design and Evaluation of a Handover Decision Strategy for 4th Generation Mobile Networks
- …Design and Evaluation of a Handover Decision Strategy for 4th Generation Mobile Networks Wenhui…
- Cited by 9 (1 self) – Add To MetaCart
-
Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances
- … Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances ? Wenhui Zhang, Zhuo…
- Cited by 1 (0 self) – Add To MetaCart
-
Combining Graphical and Formal Specification: the Software Bus Case Study
- …: the Software Bus Case Study Einar B. Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo Research report 297…
- Cited by 1 (1 self) – Add To MetaCart
-
VEHICLE-TO-VEHICLE AND ROAD-SIDE SENSOR COMMUNICATION FOR ENHANCED ROAD SAFETY
- …, Alban Hessler, Roberto Baldessari, Long Le, Wenhui Zhang, Dirk Westhoff NEC Laboratories Europe, Network…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
