%0 Conference Paper %1 conf/ecrts/JiangPCDM10 %A Jiang, Zhihao %A Pajic, Miroslav %A Connolly, Allison %A Dixit, Sanjay %A Mangharam, Rahul %B ECRTS %D 2010 %I IEEE Computer Society %K dblp %P 239-248 %T Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. %U http://dblp.uni-trier.de/db/conf/ecrts/ecrts2010.html#JiangPCDM10 %@ 978-0-7695-4111-2

@inproceedings{conf/ecrts/JiangPCDM10, added-at = {2023-03-23T00:00:00.000+0100}, author = {Jiang, Zhihao and Pajic, Miroslav and Connolly, Allison and Dixit, Sanjay and Mangharam, Rahul}, biburl = {https://www.bibsonomy.org/bibtex/29f02b2240d679915640c3328ecc11787/dblp}, booktitle = {ECRTS}, crossref = {conf/ecrts/2010}, ee = {https://doi.ieeecomputersociety.org/10.1109/ECRTS.2010.36}, interhash = {3b973b53c044a08c634235f57826ea80}, intrahash = {9f02b2240d679915640c3328ecc11787}, isbn = {978-0-7695-4111-2}, keywords = {dblp}, pages = {239-248}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:22:42.000+0200}, title = {Real-Time Heart Model for Implantable Cardiac Device Validation and Verification.}, url = {http://dblp.uni-trier.de/db/conf/ecrts/ecrts2010.html#JiangPCDM10}, year = 2010 }