|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1 occurrences of 1 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yuhong Zhao, Franz J. Rammig |
Online Model Checking for Dependable Real-Time Systems.  |
ISORC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengjiang Zhang, Zhijiang Shao, Pengfei Jiang, Xi Chen, Yuhong Zhao, Jixin Qian |
Sequential sub-problem programming strategies for data reconciliation and parameter estimation with multiple data sets. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sufyan Samara, Yuhong Zhao, Franz J. Rammig |
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhong Zhao, Franz-Josef Rammig |
Model-based Runtime Verification Framework. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz J. Rammig, Yuhong Zhao, Sufyan Samara |
On-Line Model Checking as Operating System Service. |
SEUS |
2009 |
DBLP DOI BibTeX RDF |
On-line model checking, Verification service, Real-time operating system |
| 1 | Yu Jiang, Jian Ren, Yuhong Zhao, Binxing Fang |
Using Mixed and Hybrid TCP Probe Methods in Forward IP Paths Inference. |
PDCAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig |
Model-based Runtime Verification Framework for Self-optimizing Systems. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunliu Xiong, Yuhong Zhao, Wei Liu |
Fault Detection Method Based on Artificial Immune System for Complicated Process. |
ICIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhong Zhao, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos |
Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS. |
PPAM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig |
Comprehensive Verification Framework for Dependability of Self-optimizing Systems. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhong Zhao |
LTL's Intutitive Representations and its Automaton Translation. |
DIPES |
2004 |
DBLP BibTeX RDF |
|
| 1 | Martin Kardos, Yuhong Zhao |
Verification Framework for UML-Based Design of Embedded Systems. |
DIPES |
2004 |
DBLP BibTeX RDF |
|
| 1 | Zhongcheng Li, Yuhong Zhao, Yinghua Min, Robert K. Brayton |
Timed Binary Decision Diagrams. |
ICCD |
1997 |
DBLP BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")