BibTeX record conf/dasc/ChenGL21

• > Home > conf/dasc/ChenGL21

@inproceedings{DBLP:conf/dasc/ChenGL21,
  author       = {Na Chen and
                  Shengling Geng and
                  Lin Li},
  title        = {Modeling and verification of {CPS} based on uncertain hybrid timed
                  automaton},
  booktitle    = {{IEEE} Intl Conf on Dependable, Autonomic and Secure Computing, Intl
                  Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and
                  Big Data Computing, Intl Conf on Cyber Science and Technology Congress,
                  DASC/PiCom/CBDCom/CyberSciTech 2021, Canada, October 25-28, 2021},
  pages        = {971--978},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/DASC-PICom-CBDCom-CyberSciTech52372.2021.00162},
  doi          = {10.1109/DASC-PICOM-CBDCOM-CYBERSCITECH52372.2021.00162},
  timestamp    = {Wed, 23 Mar 2022 17:30:18 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/ChenGL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}