dblp.uni-trier.dewww.uni-trier.de

Yuhong Zhao

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
6EEChunliu Xiong, Yuhong Zhao, Wei Liu: Fault Detection Method Based on Artificial Immune System for Complicated Process. ICIC (2) 2006: 625-630
2005
5EEYuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig: Comprehensive Verification Framework for Dependability of Self-optimizing Systems. ATVA 2005: 39-53
4EEYuhong Zhao, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos: Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS. PPAM 2005: 1034-1041
2004
3 Martin Kardos, Yuhong Zhao: Verification Framework for UML-Based Design of Embedded Systems. DIPES 2004: 21-30
2 Yuhong Zhao: LTL's Intutitive Representations and its Automaton Translation. DIPES 2004: 31-42
1997
1 Zhongcheng Li, Yuhong Zhao, Yinghua Min, Robert K. Brayton: Timed Binary Decision Diagrams. ICCD 1997: 352-357

Coauthor Index

1Robert K. Brayton [1]
2Martin Kardos [3] [4] [5]
3Zhongcheng Li [1]
4Wei Liu [6]
5Yinghua Min [1]
6Norma Montealegre [4]
7Simon Oberthür [4] [5]
8Franz-Josef Rammig (Franz J. Rammig) [4] [5]
9Chunliu Xiong [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)