Skip to main content

2 Result(s)

within Fangcheng Tang Remove this filter Software Engineering/Programming and Operating Systems Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Verification and Analysis for Ethernet Protocols with NuSMV

    Verifying the correctness of computer systems is becoming necessary for most of systems, especially safety–critical systems. Symbolic model checking is one of the effective ways to do automatic model checking....

    Yujia Ge, **aofei Feng, Fangcheng Tang in Computer, Informatics, Cybernetics and App… (2012)

  2. Chapter and Conference Paper

    Network Structure and Knowledge Transfer

    This study employs single layer perceptron model (SLPM) to explore how the topological structure of intra-organization networks affects knowledge transfer. The results demonstrate that in the process of knowle...

    Fangcheng Tang in Computational Science – ICCS 2007 (2007)

    Download PDF (258 KB)