BibTeX record journals/sosym/BaresiBKMMPRR15

download as .bib file

@article{DBLP:journals/sosym/BaresiBKMMPRR15,
  author       = {Luciano Baresi and
                  Gundula Blohm and
                  Dimitrios S. Kolovos and
                  Nicholas Drivalos Matragkas and
                  Alfredo Motta and
                  Richard F. Paige and
                  Alek Radjenovic and
                  Matteo Rossi},
  title        = {Formal verification and validation of embedded systems: the UML-based
                  {MADES} approach},
  journal      = {Softw. Syst. Model.},
  volume       = {14},
  number       = {1},
  pages        = {343--363},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10270-013-0330-z},
  doi          = {10.1007/S10270-013-0330-Z},
  timestamp    = {Mon, 17 Apr 2023 17:27:32 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BaresiBKMMPRR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.