%0 Journal Article %1 journals/jss/GuglielmoGFFFMP13 %A Guglielmo, Giuseppe Di %A Guglielmo, Luigi Di %A Foltinek, Andreas %A Fujita, Masahiro %A Fummi, Franco %A Marconcini, Cristina %A Pravadelli, Graziano %D 2013 %J J. Syst. Softw. %K dblp %N 8 %P 2013-2033 %T On the integration of model-driven design and dynamic assertion-based verification for embedded software. %U http://dblp.uni-trier.de/db/journals/jss/jss86.html#GuglielmoGFFFMP13 %V 86

@article{journals/jss/GuglielmoGFFFMP13, added-at = {2020-02-24T00:00:00.000+0100}, author = {Guglielmo, Giuseppe Di and Guglielmo, Luigi Di and Foltinek, Andreas and Fujita, Masahiro and Fummi, Franco and Marconcini, Cristina and Pravadelli, Graziano}, biburl = {https://www.bibsonomy.org/bibtex/2be7510472c67d744bc1a762d62c717ea/dblp}, ee = {https://doi.org/10.1016/j.jss.2012.08.061}, interhash = {9a81454be723f5b091a703071ca2b227}, intrahash = {be7510472c67d744bc1a762d62c717ea}, journal = {J. Syst. Softw.}, keywords = {dblp}, number = 8, pages = {2013-2033}, timestamp = {2020-02-25T13:39:32.000+0100}, title = {On the integration of model-driven design and dynamic assertion-based verification for embedded software.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss86.html#GuglielmoGFFFMP13}, volume = 86, year = 2013 }