%0 Conference Paper %1 conf/facs2/HarrisonDCMFMW17 %A Harrison, Michael D. %A Drinnan, Michael J. %A Campos, José Creissac %A Masci, Paolo %A Freitas, Leo %A di Maria, Costanzo %A Whitaker, Michael %B FACS %D 2017 %E Proença, José %E Lumpe, Markus %I Springer %K dblp %P 137-154 %T Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. %U http://dblp.uni-trier.de/db/conf/facs2/facs2017.html#HarrisonDCMFMW17 %V 10487 %@ 978-3-319-68034-7

@inproceedings{conf/facs2/HarrisonDCMFMW17, added-at = {2021-06-01T00:00:00.000+0200}, author = {Harrison, Michael D. and Drinnan, Michael J. and Campos, José Creissac and Masci, Paolo and Freitas, Leo and di Maria, Costanzo and Whitaker, Michael}, biburl = {https://www.bibsonomy.org/bibtex/207896cafca841e2df7ad47c86e1bcf2e/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2017}, editor = {Proença, José and Lumpe, Markus}, ee = {https://doi.org/10.1007/978-3-319-68034-7_8}, interhash = {dd6ad510e4437a04bb0bbf9126110794}, intrahash = {07896cafca841e2df7ad47c86e1bcf2e}, isbn = {978-3-319-68034-7}, keywords = {dblp}, pages = {137-154}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:16:23.000+0200}, title = {Safety Analysis of Software Components of a Dialysis Machine Using Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2017.html#HarrisonDCMFMW17}, volume = 10487, year = 2017 }