Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods

Mashkoor, Atif; Egyed, Alexander

doi:10.1109/QRS.2018.00021

by Atif Mashkoor, Alexander Egyed

Reference:

Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods (Atif Mashkoor, Alexander Egyed), In Proceeding of the 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, IEEE, 2018.

Bibtex Entry:

@Conference{DBLP:conf/qrs/MashkoorE18,
  author    = {Atif Mashkoor and Alexander Egyed},
  title     = {Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods},
  booktitle = {Proceeding of the 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20},
  year      = {2018},
  pages     = {75--82},
  publisher = {IEEE},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/bib/conf/qrs/MashkoorE18},
  crossref  = {DBLP:conf/qrs/2018},
  doi       = {10.1109/QRS.2018.00021},
  file      = {:Conferences\\QRS 2018 - Analysis of Experiences with the Engineering of a Medical Device using State-based Formal Methods\\Analysis of Experiences with the Engineering of Medical Device using State-based FMs-preprint.pdf:PDF},
  timestamp = {Wed, 08 Aug 2018 09:36:17 +0200},
  url       = {https://doi.org/10.1109/QRS.2018.00021},
}