메뉴 건너뛰기




Volumn , Issue , 2005, Pages 423-426

A simulation tool for system services in ad-hoc wireless sensor networks

Author keywords

Software engineering; Top down design; Wireless sensor networks

Indexed keywords

COMPUTER SIMULATION; COMPUTER SYSTEMS; SENSORS; SOFTWARE ENGINEERING;

EID: 32044471337     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (10)

References (8)
  • 5
    • 0001772408 scopus 로고
    • Animating algorithms with XTANGO
    • J. Stasko. Animating algorithms with XTANGO. SIGACT News, 23(2):67-71, 1992.
    • (1992) SIGACT News , vol.23 , Issue.2 , pp. 67-71
    • Stasko, J.1
  • 7
    • 85006239926 scopus 로고
    • The Mobility Workbench - A tool for the π-calculus
    • D. Dill, editor, CAV'94: Computer Aided Verification. Springer-Verlag
    • B. Victor and F. Moller. The Mobility Workbench - a tool for the π-calculus. In D. Dill, editor, CAV'94: Computer Aided Verification, volume 818 of Lecture Notes in Computer Science, pages 428-440. Springer-Verlag, 1994.
    • (1994) Lecture Notes in Computer Science , vol.818 , pp. 428-440
    • Victor, B.1    Moller, F.2


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