1 |
F. Ye et al., 'A Scalable Solution to Minimum Cost Forwarding in Large Sensor Networks,' Proc. 10th Int'l. Conf. Comp. Commun. and Networks, pp.304-309, 2001
DOI
|
2 |
W. Heinzelman, A. Chandrakasan and H. Balakrishnan, 'Energy-Efficient Communication Protocol for Wireless Microsensor Networks,' Proc. 33rd Hawaii Int'l. Conf. Sys. Sci., Jan., 2000
|
3 |
C-T. Chou and D. Peled, 'Verifying a Model-Checking Algorithm,' Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS96), Passau, Germany, Lecture Notes in Computer Science 1,055, pp.241-257 Springer-Verlag, May, 1996
|
4 |
http://spinroot.com/spin/whatispin.html
|
5 |
방기석, 최진영, 'Gerald J. Holzman의 'The Model Checker SPIN'에 대하여', 정보과학논문지(B) 제25권 제11호, pp.1648-1656, 1998
|
6 |
G. J. Holzmann, 'The Model Checker SPIN,' IEEE Transactions on Software Engineering, Vol.23, No.5, pp.279-295, May, 1997
DOI
ScienceOn
|
7 |
B. Boigelot and P. Godefroid, 'Model Checking in Practice: An Analysis of the ACCESS Bus Protocol Using SPIN,' Proc. Formal Methods Europe (FME96), Oxford, England, Lecture Notes in Computer Science 1, 051, pp.465-478, Springer-Verleg, Mar., 1996
|
8 |
I. Akyildiz et al., 'A Survey on Sensor Networks,' IEEE Commun. Mag.,' Vol.40, No.8, pp.102-114, Aug., 2002
DOI
ScienceOn
|
9 |
N. Heo and P.K. Varshney, 'A Distributed Self Spreading Algorithm for Mobile Wireless Sensor Networks,' Proc. Wireless Communications and Networking, 2003. (WCNC 2003), 2003 IEEE Vol.3, pp.1597-1602, Mar., 2003
DOI
|
10 |
문종천, '이동 센서 네트워크에서의 트리 기반 배치 알고리즘에 관한 연구', 인하대학교 대학원 석사학위논문, 2006. 2
|
11 |
I. Barland, 'PROMELA AND SPIN REFERENCE', Version 1.3, Aug., 2004
|
12 |
J. Chaves, 'Formal Methods at AT&T, An Industrial Usage Report,' Proc. Fourth FORTE Conf. Formal Description Techniques, pp.83-90, Sydney, Australia, 1991
|
13 |
S. Tilak, N. Abu-Ghazaleh and W. Heinzelman, 'A Taxonomy of Wireless Micro-sensor Network Models,' ACM SIGMOBILE Mobile Comp. Commun. Rev., Vol.6, No.2, pp.28-36, Apr., 2002
DOI
|