참고문헌
- J. Chaves, 'Formal Methods at AT&T, An Industrial Usage Report,' Proc. Fourth FORTE Conf. Formal Description Techniques, pp.83-90, Sydney, Australia, 1991
- 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 https://doi.org/10.1145/565702.565708
- G. J. Holzmann, 'The Model Checker SPIN,' IEEE Transactions on Software Engineering, Vol.23, No.5, pp.279-295, May, 1997 https://doi.org/10.1109/32.588521
- I. Barland, 'PROMELA AND SPIN REFERENCE', Version 1.3, Aug., 2004
- I. Akyildiz et al., 'A Survey on Sensor Networks,' IEEE Commun. Mag.,' Vol.40, No.8, pp.102-114, Aug., 2002 https://doi.org/10.1109/MCOM.2002.1024422
- 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 https://doi.org/10.1109/WCNC.2003.1200625
- 문종천, '이동 센서 네트워크에서의 트리 기반 배치 알고리즘에 관한 연구', 인하대학교 대학원 석사학위논문, 2006. 2
- http://spinroot.com/spin/whatispin.html
- 방기석, 최진영, 'Gerald J. Holzman의 'The Model Checker SPIN'에 대하여', 정보과학논문지(B) 제25권 제11호, pp.1648-1656, 1998
- 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
- 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
- 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
- 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 https://doi.org/10.1109/ICCCN.2001.956276