%0 Conference Paper %1 conf/qrs/MashkoorE18 %A Mashkoor, Atif %A Egyed, Alexander %B QRS %D 2018 %I IEEE %K dblp %P 75-82 %T Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2018.html#MashkoorE18 %@ 978-1-5386-7757-5

@inproceedings{conf/qrs/MashkoorE18, added-at = {2018-08-08T00:00:00.000+0200}, author = {Mashkoor, Atif and Egyed, Alexander}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2144b205428684c24c3c6ea2654f0903b/dblp}, booktitle = {QRS}, crossref = {conf/qrs/2018}, ee = {https://doi.org/10.1109/QRS.2018.00021}, interhash = {8b7516a0e39c6aff2a0e5450bedeb7bc}, intrahash = {144b205428684c24c3c6ea2654f0903b}, isbn = {978-1-5386-7757-5}, keywords = {dblp}, pages = {75-82}, publisher = {IEEE}, timestamp = {2019-09-27T13:55:18.000+0200}, title = {Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2018.html#MashkoorE18}, year = 2018 }