Modeling of Sensor Networks Using XRM
暂无分享,去创建一个
[1] Thomas Hérault,et al. APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
[2] Ian F. Akyildiz,et al. Wireless sensor networks: a survey , 2002, Comput. Networks.
[3] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.
[4] Thomas Hérault,et al. Approximate Probabilistic Model Checking , 2004, VMCAI.
[5] Deborah Estrin,et al. Guest Editors' Introduction: Overview of Sensor Networks , 2004, Computer.
[6] Roy Friedman,et al. Timed grid routing (TIGR) bites off energy , 2005, MobiHoc '05.
[7] Thomas Hérault,et al. Probabilistic verification of sensor networks , 2006, 2006 International Conference onResearch, Innovation and Vision for the Future.
[8] Thomas A. Henzinger,et al. Reactive Modules , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[9] Gaetano Borriello,et al. Location Systems for Ubiquitous Computing , 2001, Computer.
[10] N. S. Barnett,et al. Private communication , 1969 .
[11] Eelco Visser,et al. Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9 , 2003, Domain-Specific Program Generation.