共 50 条
- [1] The new Linth-Limmern hydro-power plant - design of caverns under 500m overburden [J]. ROCK MECHANICS IN CIVIL AND ENVIRONMENTAL ENGINEERING, 2010, : 467 - +
- [2] The Shazar caverns – Design challenges and construction experience [J]. Geomechanik und Tunnelbau, 2020, 13 (06): : 650 - 657
- [3] MODERN CAVERNS IN GOTHAM-GEOTECHNICAL AND DESIGN CHALLENGES FOR LARGE ROCK CAVERNS IN MANHATTAN [J]. 2009 RAPID EXCAVATION AND TUNNELING CONFERENCE, PROCEEDINGS, 2009, : 35 - 47
- [4] SIMULATION CHALLENGES BREADBOARDING FOR DESIGN VERIFICATION [J]. COMPUTER DESIGN, 1986, 25 (12): : 63 - &
- [5] Targeting design, verification, and test challenges [J]. IEEE DESIGN & TEST OF COMPUTERS, 2011, 28 (02): : 4 - 5
- [7] Design of underground caverns - An overview [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HYDRO POWER DEVELOPMENT IN HIMALAYAS, 1998, : 367 - 376
- [9] Verification challenges and opportunities in the new era of microprocessor design [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 6 - 7
- [10] Formal for Everyone - Challenges in Achievable Multicore Design and Verification [J]. Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 186 - 186