BibTeX record conf/refsq/ShiSHXS19

download as .bib file

  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 = {},
  year      = {2019},
  url       = {\_paper\_2.pdf},
  timestamp = {Tue, 09 Jun 2020 11:56:00 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of Schloss Dagstuhl - Leibniz Center for Informatics