%0 Journal Article %1 journals/sttt/BiancoLMO07 %A Bianco, Vieri Del %A Lavazza, Luigi %A Mauri, Marco %A Occorso, Giuseppe %D 2007 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 2 %P 179-192 %T Towards UML-based formal specifications of component-based real-time software. %U http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#BiancoLMO07 %V 9

@article{journals/sttt/BiancoLMO07, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bianco, Vieri Del and Lavazza, Luigi and Mauri, Marco and Occorso, Giuseppe}, biburl = {https://www.bibsonomy.org/bibtex/223dc4ec8a81bee572fbf82db900191c9/dblp}, ee = {https://doi.org/10.1007/s10009-006-0024-8}, interhash = {49b3155a9f8bb58df790e086f6b6fccf}, intrahash = {23dc4ec8a81bee572fbf82db900191c9}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 2, pages = {179-192}, timestamp = {2024-04-08T20:36:30.000+0200}, title = {Towards UML-based formal specifications of component-based real-time software.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#BiancoLMO07}, volume = 9, year = 2007 }