Browse "School of Computing(전산학부)" by Subject AODV
Showing results 1 to 3 of 3
| Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh, 2011-01-18 |
| Verisim: Formal analysis of network simulations Bhargavan, K; Gunter, CA; Kim, Moonzoo; Lee, I; Obradovic, D; Sokolsky, O; Viswanathan, M, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.28, no.2, pp.129 - 145, 2002-02 |
| 소규모 부대 급 PNT 전술 데이터링크 구조에 관한 연구 = A study on the squad/platoon level PNT tactical data link architecturelink 연상모; Yeon, Sang-Mo; et al, 한국과학기술원, 2013 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,837 2020 - 2024
- 5,390 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989