Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt. Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. In Sheikh Iqbal Ahamed, Carl K. Chang, Williamc C. Chu, Ivica Crnkovic, Pao-Ann Hsiung, Gang Huang 0001, Jingwei Yang, editors, 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2. pages 638-646, IEEE, 2015. [doi]
Abstract is missing.