A compositional approach for modeling and timing analysis of wireless sensor and actuator networks

Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha. A compositional approach for modeling and timing analysis of wireless sensor and actuator networks. SIGBED Review, 14(3):49-56, 2017. [doi]

@article{SirjaniKMA17,
  title = {A compositional approach for modeling and timing analysis of wireless sensor and actuator networks},
  author = {Marjan Sirjani and Ehsan Khamespanah and Kirill Mechitov and Gul Agha},
  year = {2017},
  doi = {10.1145/3166227.3166237},
  url = {http://doi.acm.org/10.1145/3166227.3166237},
  researchr = {https://researchr.org/publication/SirjaniKMA17},
  cites = {0},
  citedby = {0},
  journal = {SIGBED Review},
  volume = {14},
  number = {3},
  pages = {49-56},
}