%0 Conference Paper %1 conf/icse/GieseHH07 %A Giese, Holger %A Henkler, Stefan %A Hirsch, Martin %B WADS %D 2007 %E de Lemos, Rogério %E Giandomenico, Felicita Di %E Gacek, Cristina %E Muccini, Henry %E Vieira, Marlon %I Springer %K %P 248-272 %T Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. %U http://dblp.uni-trier.de/db/conf/icse/wads2007.html#GieseHH07 %V 5135 %@ 978-3-540-85570-5

@inproceedings{conf/icse/GieseHH07, added-at = {2023-12-12T18:26:51.000+0100}, author = {Giese, Holger and Henkler, Stefan and Hirsch, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2c9d8a05e3454a5bedb8b64c413fb95f6/admin}, booktitle = {WADS}, crossref = {conf/icse/2007wads}, editor = {de Lemos, Rogério and Giandomenico, Felicita Di and Gacek, Cristina and Muccini, Henry and Vieira, Marlon}, ee = {https://doi.org/10.1007/978-3-540-85571-2_11}, interhash = {125e010f1349f23f2f7737fb5a1c1241}, intrahash = {c9d8a05e3454a5bedb8b64c413fb95f6}, isbn = {978-3-540-85570-5}, keywords = {}, pages = {248-272}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:26:51.000+0100}, title = {Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.}, url = {http://dblp.uni-trier.de/db/conf/icse/wads2007.html#GieseHH07}, volume = 5135, year = 2007 }