Searching for authors named Hong Peng – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Improving Compositional Verification through Environment Synthesis and Syntactic Model Reduction
- … Reduction Hong Peng A Thesis in The Department of Electrical and Computer Engineering Presented…
- Add To MetaCart
-
Formal Verification of an Asynchronous MAC Layer Protocol in VIS
- …Formal Verification of an Asynchronous MAC Layer Protocol in VIS Hong Peng and Sofi`ene Tahar…
- Add To MetaCart
-
A Survey on Compositional Verification
- …A Survey on Compositional Verification Hong Peng and Sofi`ene Tahar Technical Report Dept…
- Cited by 6 (2 self) – Add To MetaCart
-
Compositional Verification of an ATM Bit Error Rate Monitor Circuit
- …Compositional Verification of an ATM Bit Error Rate Monitor Circuit Hong Peng and Sofi`ene Tahar…
- Cited by 1 (1 self) – Add To MetaCart
-
Evaluation of Embedded Operating System by a Software Method *
- … Evaluation of Embedded Operating System by a Software Method * Junjie Peng 1 , Jun Ma 2 , Bingrong Hong 3 (1…
- Add To MetaCart
-
Comparison of SPIN and VIS for Protocol Verification
- …Comparison of SPIN and VIS for Protocol Verification Hong Peng, Sofi`ene Tahar and Ferhat Khendek…
- Cited by 2 (1 self) – Add To MetaCart
-
A reference model approach to stability analysis of neural networks
- … 2003 925 A Reference Model Approach to Stability Analysis of Neural Networks Hong Qiao, Member, IEEE…
- Cited by 2 (0 self) – Add To MetaCart
-
Environment Synthesis for Compositional Model Checking
- …Environment Synthesis for Compositional Model Checking Hong Peng, Yassine Mokhtari, and Sofiene…
- Cited by 3 (2 self) – Add To MetaCart
-
Compositional Verification of a Switch Fabric from Nortel Networks
- …Compositional Verification of a Switch Fabric from Nortel Networks Hong Peng, Sofiene Tahar…
- Add To MetaCart
-
Int J STTT (2002) / Digital Object Identifier (DOI) 10.1007/s100090200073 Comparison of SPIN and VIS for protocol verification
- … and VIS for protocol verification Hong Peng, Sofiène Tahar, Ferhat Khendek Dept. of Electrical & Computer…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
