BibTeX record conf/ucami/WangLNMX22

• > Home > conf/ucami/WangLNMX22

@inproceedings{DBLP:conf/ucami/WangLNMX22,
  author       = {Xia Wang and
                  Jun Liu and
                  Chris D. Nugent and
                  Samuel J. Moore and
                  Yang Xu},
  editor       = {Jos{\'{e}} Bravo and
                  Sergio F. Ochoa and
                  Jes{\'{u}}s Favela},
  title        = {Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic
                  Model Checking},
  booktitle    = {Proceedings of the International Conference on Ubiquitous Computing
                  {\&} Ambient Intelligence, UCAmI 2022, C{\'{o}}rdoba, Spain,
                  29 November - 2 December 2022},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {594},
  pages        = {796--808},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21333-5\_78},
  doi          = {10.1007/978-3-031-21333-5\_78},
  timestamp    = {Wed, 10 May 2023 14:38:11 +0200},
  biburl       = {https://dblp.org/rec/conf/ucami/WangLNMX22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}