BibTeX record conf/tase/TianSHHQ21

• > Home > conf/tase/TianSHHQ21

@inproceedings{DBLP:conf/tase/TianSHHQ21,
  author       = {Miao Tian and
                  Jianqi Shi and
                  Zhe Hou and
                  Yanhong Huang and
                  Shengchao Qin},
  title        = {A Timed Automata based Automatic Framework for Verifying {STL} Properties
                  of Simulink Models},
  booktitle    = {International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2021, Shanghai, China, August 25-27, 2021},
  pages        = {151--158},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/TASE52547.2021.00018},
  doi          = {10.1109/TASE52547.2021.00018},
  timestamp    = {Mon, 03 Jan 2022 22:32:44 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/TianSHHQ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}