메뉴 건너뛰기




Volumn , Issue , 2006, Pages 271-276

Modeling of sensor networks using XRM

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; SENSOR NODES;

EID: 77956444677     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISoLA.2006.27     Document Type: Conference Paper
Times cited : (11)

References (14)
  • 3
    • 0029714158 scopus 로고    scopus 로고
    • Reactive modules
    • R. Alur and T. A. Henzinger, "Reactive modules." in LICS, 1996, pp. 207-218.
    • (1996) LICS , pp. 207-218
    • Alur, R.1    Henzinger, T.A.2
  • 4
    • 77956428072 scopus 로고    scopus 로고
    • "Xrm web page," 2006, http://projects.lrde.epita.fr/Xrm.
    • (2006) Xrm Web Page
  • 5
    • 4344668573 scopus 로고    scopus 로고
    • Guest editors' introduction: Overview of sensor networks
    • D. E. Culler, D. Estrin, and M. B. Srivastava, "Guest editors' introduction: Overview of sensor networks." IEEE Computer, vol. 37, no. 8, pp. 41-49, 2004.
    • (2004) IEEE Computer , vol.37 , Issue.8 , pp. 41-49
    • Culler, D.E.1    Estrin, D.2    Srivastava, M.B.3
  • 9
    • 77956440918 scopus 로고
    • RATFOR - A rational fortran
    • Pasadena, Calif., November
    • B. W. Kernighan, "RATFOR - a rational fortran," in Workshop on Fortran Preprocessors, Pasadena, Calif., November 1974, p. 3.
    • (1974) Workshop on Fortran Preprocessors , pp. 3
    • Kernighan, B.W.1
  • 10
    • 84947264529 scopus 로고    scopus 로고
    • Program transformation with stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9
    • C. Lengauer et al., Eds. Spinger-Verlag, June [Online]. Available
    • E. Visser, "Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9," in Domain-Specific Program Generation, ser. Lecture Notes in Computer Science, C. Lengauer et al., Eds. Spinger-Verlag, June 2004, vol. 3016, pp. 216-238. [Online]. Available: http://www.cs.uu.nl/research/techreps/UU-CS-2004-011.html
    • (2004) Domain-Specific Program Generation, Ser. Lecture Notes in Computer Science , vol.3016 , pp. 216-238
    • Visser, E.1
  • 12
    • 77956443021 scopus 로고    scopus 로고
    • APMC 3.0: Approximate verification of discrete and continuous time Markov chains
    • to appear
    • T. Hérault, R. Lassaigne, and S. Peyronnet, "APMC 3.0: Approximate verification of discrete and continuous time markov chains," in Proceedings of Qest 2006, 2006, to appear.
    • (2006) Proceedings of Qest 2006
    • Hérault, T.1    Lassaigne, R.2    Peyronnet, S.3
  • 14
    • 0035424017 scopus 로고    scopus 로고
    • Location systems for ubiquitous computing
    • August
    • J. Hightower and G. Borriello, "Location systems for ubiquitous computing," IEEE Computer, vol. 34, no. 8, pp. 57-66, August 2001.
    • (2001) IEEE Computer , vol.34 , Issue.8 , pp. 57-66
    • Hightower, J.1    Borriello, G.2


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