BibTeX record journals/jisa/SirjaniPAMS21

download as .bib file

@article{DBLP:journals/jisa/SirjaniPAMS21,
  author    = {Marjan Sirjani and
               Luciana Provenzano and
               Sara Abbaspour Asadollah and
               Mahshid Helali Moghadam and
               Mehrdad Saadatmand},
  title     = {Towards a Verification-Driven Iterative Development of Software for
               Safety-Critical Cyber-Physical Systems},
  journal   = {J. Internet Serv. Appl.},
  volume    = {12},
  number    = {1},
  pages     = {2},
  year      = {2021},
  url       = {https://doi.org/10.1186/s13174-021-00132-z},
  doi       = {10.1186/s13174-021-00132-z},
  timestamp = {Tue, 15 Jun 2021 17:22:55 +0200},
  biburl    = {https://dblp.org/rec/journals/jisa/SirjaniPAMS21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics