Skip to main content

2 Result(s)

within Jian-ming Wang Remove this filter Computer Science Remove this filter

and

  1. Chapter and Conference Paper

    Numerical Study on the Effect of Grouting on Long-Term Settlement of Tunnels in Clay

    The long-term settlements over tunnels can be rather significant, particularly when tunnels are embedded in soft and compressible soils. The influence of grouting on the evolution of long-term surface settleme...

    Dong-Mei Zhang, Hong-Wei Huang, Jian-Ming Wang in Computational Science – ICCS 2007 (2007)

    Download PDF (255 KB)

  2. No Access

    Chapter and Conference Paper

    Verification of WCDMA Protocols and Implementation

    This paper introduces how formal verification technology has been utilized in the Information Industrial Institute (III) for the strategic development of 3G telecommunication industry in Taiwan. This work aims at...

    Anyi Chen, Jian-Ming Wang, Chiu-Han Hsiao in Automated Technology for Verification and … (2004)