MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Miaomiao Zhang" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Formal Analysis of Streaming Downloading Protocol for System Upgrading  
  • by Miaomiao Zhang, Dang Van Hung — 2005 — Presented and published in the proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 06), Vienna, Austria - April 1 - 2, 2006, ENTCS, Elsevier
  • …QAPL 2006 Formal Analysis of Streaming Downloading Protocol for System Upgrading Abstract Miaomiao…
  • Cited by 1 (0 self) – Add To MetaCart
  • Specification and Verification of Fault-Tolerance  
  • by Miaomiao Zhang, Zhiming Liu, Anders P. Ravn — 1999 — Timing, and Scheduling”, ACM Transactions on Programming Languages and Systems
  • …-Tolerant System Miaomiao Zhang, Zhiming Liu and Anders P. Ravn November 2007 UNU-IIST Report No. 387 R UNU…
  • Cited by 1 (0 self) – Add To MetaCart
  • Deadlock prevention in the Æthereal protocol  
  • by Biniam Gebremichael, Frits Va, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Rădulescu — 2005 — Proc. Working Conference on Correct Hardware Design and Verification Methods (CHARME), volume 3725 of Lecture Notes in Computer Science (LNCS
  • … , Miaomiao Zhang 1⋆⋆ , Kees Goossens 2 , Edwin Rijpkema 2 , and Andrei Rădulescu 2 1 ICIS, Radboud University…
  • Cited by 3 (2 self) – Add To MetaCart
  • Faculty of ScienceModeling and Verifying a Lego Car Using Hybrid I/O Automata  
  • by Ansgar FEHNKER and Frits VAANDRAGER and Miaomiao ZHANG, A. Fehnker, F. W. Va, M. Zhang, Ansgar Fehnker, Frits Vaandrager — 2003 — Models, Algebras, and Logic of Engineering Software, volume 191 of NATO ASI Series III
  • … Frits VAANDRAGER 2# Miaomiao ZHANG 2# 1 Dept. of Electrical and Computer Engineering, 5000 Forbes…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB