BibTeX records: Qing She

• > Home > Persons > Qing She

@inproceedings{DBLP:conf/refsq/ShiSHXS19,
  author       = {Jian Shi and
                  Jianqi Shi and
                  Yanhong Huang and
                  Jiawen Xiong and
                  Qing She},
  editor       = {Paola Spoletini and
                  Patrick M{\"{a}}der and
                  Daniel M. Berry and
                  Fabiano Dalpiaz and
                  Maya Daneva and
                  Alessio Ferrari and
                  Xavier Franch and
                  Sarah Gregory and
                  Eduard C. Groen and
                  Andrea Herrmann and
                  Anne Hess and
                  Frank Houdek and
                  Oliver Karras and
                  Anne Koziolek and
                  Kim Lauenroth and
                  Cristina Palomares and
                  Mehrdad Sabetzadeh and
                  Norbert Seyff and
                  Marcus Trapp and
                  Andreas Vogelsang and
                  Thorsten Weyer},
  title        = {Scade2Nu : {A} Tool for Verifying Safety Requirements of {SCADE} Models
                  with Temporal Specifications},
  booktitle    = {Joint Proceedings of {REFSQ-2019} Workshops, Doctoral Symposium, Live
                  Studies Track, and Poster Track co-located with the 25th International
                  Conference on Requirements Engineering: Foundation for Software Quality
                  {(REFSQ} 2019), Essen, Germany, March 18th, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2376},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2376/PT\_paper\_2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:43 +0100},
  biburl       = {https://dblp.org/rec/conf/refsq/ShiSHXS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}