메뉴 건너뛰기




Volumn , Issue , 2007, Pages 20-26

Program representations for testing wireless sensor network applications

Author keywords

Program representation; Test criteria; Wireless sensor networks

Indexed keywords

PROGRAM REPRESENTATION; TEST CRITERIA; TESTING TOOLS;

EID: 41149088149     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1294921.1294925     Document Type: Conference Paper
Times cited : (12)

References (14)
  • 1
    • 41149163466 scopus 로고    scopus 로고
    • home
    • Tinyos homepage. http://www.tinyOS.net.
  • 2
    • 33845449935 scopus 로고    scopus 로고
    • Computational models, programming languages and algorithms for sensor networks: Towards a paradigm shift in computer science
    • G. Agha. Computational models, programming languages and algorithms for sensor networks: Towards a paradigm shift in computer science, sutc, 1:2, 2006.
    • (2006) sutc , vol.1 , pp. 2
    • Agha, G.1
  • 7
    • 0027029758 scopus 로고
    • Undecidability of static analysis
    • W. Landi. Undecidability of static analysis. ACM Lett. Program. Lang. Syst., 1(4):323-337, 1992.
    • (1992) ACM Lett. Program. Lang. Syst , vol.1 , Issue.4 , pp. 323-337
    • Landi, W.1
  • 14
    • 41149104717 scopus 로고    scopus 로고
    • Fault localization in NesC program by semantic analysis
    • Technical report, University of Virginia
    • N. Zhang. Fault localization in NesC program by semantic analysis. Technical report, University of Virginia, 2007.
    • (2007)
    • Zhang, N.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.